body { 
  background-color: #000000;
  color: #ffffff;
  font-family: monospace;
  font-weight: bold;
}

table.menu { 
  background-color: #ffffff;
  text-align: center;
  margin-top: 10px;
}

table.menu tr td a { 
  background-color: #000000;
  font-weight: bold;
  color: #ffffff;
  text-decoration: none;
  font-size: 120%;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid #000000;
}

table.menu tr td a.selected { 
  background-color: #ffffff;
  color: #000000;
 }

table.menu tr td a:hover { 
  background-color: #ffffff;
  color: #000000;
 }

table.body { 
  width: 40em;
}

table.content {
    width: 100%;
}

td.border { 
  width: 20em;
  text-align: right;
  vertical-align: top;
  padding-left: 2em;
  padding-right: 2em;
  padding-top: 3em;
}

td.border a { 
  font-size: 110%;
  text-decoration: none;
  margin-top: 5em;
 }

td.border a:hover { 
  color: #ffeecc;
}

td.content { 
  vertical-align: top;
  width: 30em;
}

img { 
  border: 0px;
  padding-right: 2px;
  padding-top: 5px;
 }

a { 
  color: #ffcc99;
}

a:hover { 
  text-decoration: none;
 }

img.articler { 
  float: right;
  padding: 0em 0em 0em 1em;
 }

img.articlel { 
  float: left;
  padding: 0em 1em 0em 0em;
 }

h1 { 
  color: #ffcc99;
}

p.rule { 
  border: 1px solid #ffffff;
  font-weight: bold;
  padding: 0.4em;
}

pre.example { 
  color: #ffebd7;
}

div.addleft {
    width: 100%;
    text-align: left;
}

div.addright {
    width: 100%;
    text-align: right;
}