body
{
  padding-left: 12em;
  background-color:#ffffdd;
}

p
{
  line-height: 1.35em;
}

th
{
  vertical-align: top;
}

a, a:visited, a:active
{
  text-decoration: none;
  color: #000000;
  border-bottom: thin dotted;
}

a:hover
{
  text-decoration: none;
  color: #000000;
  border-bottom: thin solid;
}

#headline
{
  font-size: 2em;
  border-bottom: double;
  margin-bottom: .5em;
}

#footline
{
  clear: both;
  font-size: x-small;
  border-top: double;
  margin-top: 10em;
}

#navmenu ul
{
  list-style: none;
  padding: 0;
  margin: 0;
  position: absolute;
  top: 2em;
  left: 1em;
  width: 1em;
  vertical-align: text-top;
} 

#navmenu a
{
  color: #000000;
  text-decoration: none;
  font-size: 1.5em;
  display: block;
  padding-left: 5px;
  width: 6.5em;
  border: 5px solid #ffffdd;
} 

#navmenu a:hover
{
/*  color: #a80000;*/
  color: #cc0000;
} 

#navmenu li a#current
{
/*border-left: 5px solid #a80000;*/
border-left: 5px solid #cc0000;
/*background: #c0c0c0;*/
/*background: #eeeecc;*/
background: #ddddbb;
}

#plainlink a
{
  text-decoration: none;
  border: none;
}

.code
{
  font-family: courier,monospace;
}

.Singular
{
  font-variant:small-caps;
}