body {
  font-size: x-small;
  font-family: Verdana,sans-serif;
  background: white;
  color: #336666;
  padding: 0;
  margin: 0;
}
a:link, a:visited {
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

p, h2, h3, ul, ol, pre, table {
  font-size: 140%;
  margin-left: 3em;
  margin-right: 3em;
  line-height: 140%;
}
h1 {
  margin: 0;
  padding: 1em 0 0.5em 1.5em;
  background: #AACCBB;
  color: #669988;
  font-size: 120%;
}
h2 {
  clear: left;
  margin-top: 1.5em;
  color: #447766;
  border-color: #AACCBB;
  border-style: solid;
  border-width: 0 0 2px 0;
}
h3 {
  clear: left;
}
h3 img {
  float: left;
  margin-right: 3em;
  margin-bottom: 4.5em;
}
address {
  font-size: 120%;
  text-align: right;
  margin-right: 2em;
}
hr {
  clear: both;
  border-width: 1px 0 0 0;
  border-style: solid;
  border-color: #AACCBB;
}
ul, ol {
  padding-left: 3em; /* for IE 6 */
}
ul ol {
  font-size: 100%;
  margin-left: 0;
}
ol p, ol ul { /* for order.html */
  font-size: 100%;
  margin-left: 0;
}
p {
  clear: left;
  text-indent: 1em;
  font-size: 140%;
}
form p {
  text-indent: 0;
}
pre {
  margin-left: 5em;
}

.timestamp {
  margin-left: 1em;
  font-size: 100%;
  float: right
}
.navilink {
  margin: 0;
  padding: 0;
  background: #99BBAA;
  font-size: 130%;
}
.navilink li {
  margin: 0;
  display: inline;
  padding: 0 0.5em;
  border-width: 0 1px 0 0;
  border-style: solid;
  border-color: #AACCBB;
}

div.indexmain {
  padding-right: 240px;
  margin: 1em 0 0 0;
}
div.indexmain ul {
  padding-left: 1em;
  list-style-type: none;
}

div.indexbar {
  width: 210px;
  float: right;
  font-size: 95%;
  padding: 1em 3em 0 0;
}
div.indexbar h2 {
  border-style: none;
  border-width: 0;
  margin-top: 0.5em;
  margin-bottom: -0.6em;
  margin-left: 0;
  margin-right: 0;
  font-size: 150%;
}
div.indexbar p {
  text-indent: 0;
  margin-left: 0;
  margin-right: 0;
}
div.indexbar ul {
  list-style-type: disc;
  padding-left: 1em;
  margin-left: 0.5em;
  margin-right: 0;
}
div.indexbar img {
  float: none;
  margin-right: 0em;
  margin-bottom: 0em;
}