body {
  color: black;
  background-color: #f7f7f7;
  font-family: sans-serif;
  margin: 0px;
  border: 0px;
  padding: 12px;
  min-width: 456px; /* min-width + 2 * padding = 480px */
}
div#navi {
  float: left;
  margin: 0px 0px 12px 0px;
  border: 0px;
  padding: 0px;
  width: 144px;
}
input#search {
  /* 138px = 144px - 2 * 3px

     That's funny!  144px is the width of the navigation bar.
     3px is probably the extra space for the input text widget
     decoration (sunken relief, et cetera).  Well, 2px should
     do it but 3px looks slightly better.  */
  width: 138px;
}
div#main {
  margin: 0px 0px 12px 156px; /* Distance to the navigation bar on the left.  */
  border: 0px;
  padding: 0px;
}
div#foot {
  clear: both;
  background-color: white;
  font-size: smaller;
  margin: 0px 0px 0px 0px;
  border: 1px solid #ffcc66;
  padding: 12px;
}
div.body {
  background-color: white;
  margin: 0px;
  border: 1px solid #cccccc;
  padding: 12px;
}
div.center {
  text-align: center;
}
h1, h2, h3, h5, h5, h6 {
  border-bottom: 3px solid #cccccc;
}
h3.heading, h4.subheading, h4.subsubheading {
  border-bottom: 0px;
}
img {
  margin: 0px;
  border: 0px;
  padding: 0px;
}
ul {
  list-style-type: square;
}
div#navi ul.menu {
  background-color: white;
  margin: 0px;
  border: 1px solid #cccccc;
  padding: 1ex 0.5em 1ex 1.5em;
}
div.body ul.menu {
  background-color: #f7f7f7;
  margin: 0px;
  border: 1px solid #cccccc;
  padding: 1ex 0.5em 1ex 1.5em;
  width: 18em;
}
table {
  margin-left: 0px;
  margin-right: auto;
  border: 1px solid #cccccc;
  border-collapse: collapse;
  padding: 0px;
}
thead {
  font-weight: bold;
  background-color: #f7f7f7;
  border-bottom: 1px solid #cccccc;
}
tr.odd {
  background-color: white;
}
tr.even {
  background-color: #f7f7f7;
}
td {
  margin: 0px;
  border: 0px;
  padding: 3px 12px;
}
table.plain {
  border: 0px;
}
table.plain td {
  padding: 0px;
}
a:link {
  color: #00007f;
  background-color: transparent;
}
a:visited {
  color: #00003f;
  background-color: transparent;
}
ul.menu a {
  color: black;
  background-color: transparent;
  text-decoration: none;
}