p { line-height: 10px}
ul.menu { padding-right: 0px; padding-left: 0px; padding-bottom: 0px; margin: 0px; width: 15em; padding-top: 0px; list-style: none}
ul.menu ul { padding-right: 0px; padding-left: 0px; padding-bottom: 0px; margin: 0px; width: 15em; padding-top: 0px; list-style: none}
ul.menu a { display:block; text-decoration: none}
ul.menu li { margin-top: 1px}
ul.menu li a { padding: 0.5em; background: #ffffff; COLOR: #666666; font-size: 12px; font-family: Verdana, arial, Helvetica, sans-serif}
ul.menu li a:hover { color: #000000}
ul.menu li ul li a { padding-left: 15px; background: #e7e7e7; color: #000000; font-size: 10px; font-family: Verdana, arial, Helvetica, sans-serif}
ul.menu li ul li a:hover { padding-left: 15px;; background: #e8e8e8; border-right: #ed1c24 5px solid}
.code { border-right: #ccc 1px solid; padding-right: 5px; border-top: #ccc 1px solid; padding-left: 5px; padding-bottom: 5px; MaRGIN: 0px; border-left: #ccc 1px solid; padding-top: 5px; border-bootom: #ccc 1px solid}
.code code { padding-right: 3px; display: block; padding-left: 3px; margin-bottom: 0px; padding-bottom: 3px; padding-top: 3px
}
.code li { border-right: #ccc 1px solid; border-top: #ccc 1px solid; background: #ddd; MaRGIN: 0px 0px 2px 2.2em; border-left: #ccc 1px solid; border-bootom: #ccc 1px solid }
.indent1 { padding-left: 1em}
.indent2 { padding-left: 2em}
.indent3 { padding-left: 3em}
.indent4 { padding-left: 4em}
.indent5 { padding-left: 5em}