body {
  font-family: Helvetica, Arial, sans-serif;
  color: black;
  background: white;
  background-position: top right;
  background-attachment: scroll;
  margin-left: 17%;
  margin-right: 17%;
  margin-top: 10px;
}

a {
  color: #007070;
  text-decoration: underline;
  text-underline-style: dotted;
  text-underline-color: #00a0a0;
}

a:hover {
  background: #ffffee
}

div.nav {
  margin: 0px;
  text-align: left;
  display: block;
  background: #f0f0f0;
  border: 2px outset #808080;
  border-radius: 4px;
  -moz-border-radius: 4px;
  position: absolute;
  top: 10px;
  left: 5px;
  width: 15%;
  font-size: 80%;
  padding: 2px;
  line-height: 98%;
  font-family: sans-serif;
}

div.subnav {
  margin: 0px;
  text-align: left;
  display: block;
  background: #f0f0f0;
  border: 2px outset #808080;
  border-radius: 4px;
  -moz-border-radius: 4px;
  position: absolute;
  position: fixed;
  top: 10px;
  right: 5px;
  width: 15%;
  font-size: 80%;
  padding: 2px;
  line-height: 98%;
  font-family: sans-serif;
}

div.subnav a, div.nav a {
  margin-top: 2px;
  padding-top: 1px;
  text-decoration: none;
  font-weight: bold;
  display: block;
  color: black;
}

div.subnav a:hover, div.nav a:hover {
  margin-top: 2px;
  padding-top: 1px;
  font-weight: bold;
  background: black;
  color: white;
}

div.subnav div.nc, div.nav div.nc {
  text-decoration: underline;
  padding-top: 6px;
}

div.footer {
  clear: both;
  line-height: 90%;
  color: gray;
}

div.footer a {
  color: gray;
}

div.footer div {
  margin-top: 8px;
}

h1, h2 {
  margin: 0px;
  margin-top: 5px;
  margin-bottom: 5px;
  padding: 5px;
  display: block;
  border: 2px outset #808080;
  border-radius: 4px;
  -moz-border-radius: 4px;
  background: #f0f0f0;
  font-family: Helvetica, Arial, sans-serif;
  font-weight: 600;
}

h3 {
  background: #f8f8f8;
  border: thin outset white;
  border-radius: 3px;
  -moz-border-radius: 3px;
  padding: 1px;
}

h1 + p:first-letter, h2 + p:first-letter, div.main > p:first-child:first-letter {
  font-size: 120%;
  font-weight: bold;
  color: #404040;
  font-family: serif;
  line-height: 83%;
}

table {
  border-collapse: collapse;
  border: 1px solid black;
  margin-left: 2em;
  margin-right: 2em;
}

tr {
  border-top: 1px solid black;
  border-bottom: 1px solid black;
}

td, th {
  border: 1px dashed black;
  padding: 0px;
  padding-right: 2px;
  padding-left: 2px;
  vertical-align: baseline;
}

p.code, div.code {
  background: #f8f8f8;
  margin-right: 10px;
  overflow: auto;
  white-space: nowrap;
  border: thin outset #808080;
  border-radius: 3px;
  -moz-border-radius: 3px;
}