p {
  line-height: 1.5em;
}

ul.menu, ul.menu ul   { list-style-type: none; margin: 0; padding: 0; width: 152px }

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

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

ul.menu li a     { color: #4C7CB7; font-size: 11px; background-repeat: repeat; background-attachment: scroll; background-position: 0 50%; padding: 0.5em  }
ul.menu li a:hover  { color: #014490;}


ul.menu li ul li a     { color: #4C7CB7; font-size: 10px; font-family: Tahoma; background: #fff; padding-left: 4px; border-width: 0 }

ul.menu li ul li a:hover     { color: #014490; font-size: 10px; font-family: Tahoma; background: #fff; padding-left: 4px; border-width: 0 }

.code { border: 1px solid #ccc; list-style-type: decimal-leading-zero; padding: 5px; margin: 0; }
.code code { display: block; padding: 3px; margin-bottom: 0; }
.code li { background: #ddd; border: 1px solid #ccc; margin: 0 0 2px 2.2em; }


.hover  { color: #014490; font-weight: bold; background-position: 0 50%; display: block }