body {
  font-family: Arial, Sans-Serif;
  /*font-size: 80%;*/
}

h1 {
/*  text-align: center;*/
}

div.nav {
  position: absolute;
  width: 170px;
  padding-left: 0px;
  padding-top: 5px;
  padding-bottom: 5px;
  padding-right: 5px;
  background-color: #d8d8d8;
  border-width: 1px;
  border-style: solid;
  border-color: #808080;
}

div.misc {
  position: absolute;
  top: 370px;
  width: 170px;
  bottom: 950px;
  text-align: center;
}

div.body {
  position: absolute;
  left: 200px;
  width: 600px;
  text-align: justify;
}

table {
  border-width: 1px;
  border-style: solid;
  border-color: gray;
  font-size: 90%;
}

th {
  text-align: left;
  border-width: 1px;
  border-style: solid;
  padding: 3px;
  font-weight: bold;
}

td {
  padding: 3px;
  border-width: 1px;
  border-style: solid;
}