body {  
  background: #334433;
  font-family: courier;
  color: #fff;

}

body table { 

  color: #000;
}


#container
{
  width: 98%;
  min-height: 600px;
  margin: 10px auto;
  background-color: #fff;
  color: #000;
  border: 1px solid gray;
  line-height: 130%;
}

#top
{
  padding: .5em;
  background-color: #ddd;
  border-bottom: 1px solid gray;
}

#top h1
{
  padding: 0;
  margin: 0;
}

#leftnav
{
  float: left;
  width: 160px;
  margin: 0;
  padding: 1em;
  /*padding: 0;*/
  /*border-right: 1px solid gray;*/
}

div.menuitem { 
  margin-top: 5px;
  border: 1px #fff dashed; /* here so that when hovering, it doesn't move */
  padding-left: 3px;
}

div.menuitem:hover { 
  border: 1px black dashed;
}

div.selectedmenuitem { 

  margin-top: 5px;
  padding-left: 3px;
  border: 1px black dashed;
  background: #ddd;

}

#rightnav
{
  float: right;
  width: 160px;
  margin: 0;
  padding: 1em;
}

#content
{
  margin-left: 200px;
  border-left: 1px solid gray;
  margin-right: 200px;
  border-right: 1px solid gray;
  padding: 2em 1em 2em 1em;

  /*max-width: 36em;*/
}

#footer
{
  clear: both;
  margin: 0;
  padding: .5em;
  color: #333;
  background-color: #ddd;
  border-top: 1px solid gray;
}

#leftnav p, #rightnav p { margin: 0 0 1em 0; }
#content h1,h2,h3 { margin: 0 0 .5em 0; border-bottom: 1px solid gray;}
#leftnav h2 { margin: 0 0 .5em 0; border-bottom: 1px solid gray;}

#content span.inline_image { 
  float: right;
  text-align: center;
  border: 1px #333 solid;
  background: #ddd;
  margin: 5px;
  padding: 3px;
}

#content span.inline_image img { 
  width: 200px;
  height: auto;
}

div.example { 
  background-color:#eee;
  border:1px dashed #999;
  margin: 15px;
  padding: 15px;
  font-size:medium;
  text-indent: 0;
}