body {
  font-family: Helvetica, Arial, sans-serif;
  font-size: 0.9em;
}

p {
  line-height: 1.5em;
}

ul#menu, ul#menu ul {
  list-style-type:none;
  margin: 0;
  padding: 0;
  width: 13em;
}



 ul#menu ul
{
    border: 1px dashed #808080;
    width: 99%;
}

ul#menu a {
  display: block;
  text-decoration: none;	
}

ul#menu li {
  margin-top: 1px;
}

ul#menu li a {
  background: #333;
  color: #fff;	
  padding: 0.5em;
}

ul#menu li a:hover
{
    color: #999966;
}

ul#menu li ul li a
{
    background: white;
    color: #003399;
    padding-left: 20px;
    text-decoration: underline;
}

.fauxLink
{
    background: white;
    color: #003399;
    padding: 0.5em;
    padding-left: 20px;
  
}

ul#menu li ul li a:hover
{
   color: #999966;
}

.code
{
    border: 0px none;
   
    padding: 0px 0px 0px 25px;
    margin: 0;
    font-size: 11px;
    background: white;
}
.code code { display: block; margin-bottom: 0; }