body {
  background-color: #fff;
  color: #000;
  margin: 1ex;
  line-height: 150%;
  font-family: verdana, arial, helvetica, sans-serif;
  text-align: justify;
}
a:hover {
  background-color: #eee;
}
a {
  text-decoration: none;
}
a:visited {
  color: #1c6789;
}
p {
  text-indent: 2em;
}
.ni, .plist {
  text-indent: 0em;
}
.plist {
  margin: 0em;
}
li, dd, dt {
  margin-top: 1em;
  margin-bottom: 1em;
}
dt {
  font-weight: bold;
}
.author {
  font-size: x-small;
  text-align: right;
}
h2, dt {
  color: #1c6789;
}
h2 {
  text-align: center;
  font-size: x-large;
  margin-top: 0.3em;
  margin-bottom: 0.3em;
}
div {
  border-width: thin;
  border-color: #1c6789;
}
.navsmall, .section {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
.nav, .navsmall {
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
  padding-left: 1ex;
  padding-right: 1ex;
}
.nav, .title {
  text-align: center;
  background-color: #ffb;
}
.nav {
  margin-left: 0.5%;
  margin-right: 0.5%;
}
.navsmall {
  text-align: right;
  background-color: #eee;
}
.nav, .title, .section, .navsmall {
  border-style: solid;
}
.todo, .comment {
  margin-top: 1em;
  margin-bottom: 1em;
  border-style: dashed;
}
.todo {
  background-color: #ffc;
}
.comment {
  background-color: #eef;
}
.title {
  margin-top: 1em;
}
.section {
  padding: 0em;
  background-color: #ccc;
}
.subsection {
  background-color: #fff;
  border-style: solid;
  border-color: #1c6789;
  padding-top: 0em;
  padding-bottom: 0em;
  padding-left: 1ex;
  padding-right: 1ex;
  margin: 2px;
}
.block {
  margin-left: 0.5%;
  margin-right: 0.5%;
  float: left;
  width: 48%;
}
.sep {
  clear: left;
  margin: 0;
}

img.logo {
  float: left;
  vertical-align: text-top;
  border-style: none;
  margin-left: 1em;
  margin-right: 1em;
}

.code {
  margin: 1em;
  background-color: #FAFAFF;
  color: #1c6789;
}
input {
    font: 100% Verdana, Helvetica, Arial, sans-serif;
    border: 1px solid #1c6789;  
    color: #1c6789;
    background-color: white;
    vertical-align: middle;
    margin-bottom: 1px; /* IE bug fix */
    padding: 0.1em;
}