body{
  margin:5px;
  padding:0px;
  font-family: courier
}
h1{
  padding-top: 0;
  margin-top: 0
}
#header{
  padding-bottom: 20px
}
#nav{
  padding-top: 20px
}
#files{
  padding: 5px
}
#checkdata{
  padding: 5px
}