body {font-family:Arial, Sans Serif}
.header {background-color:#eec; border:1px solid; border-color:#333; padding:5px; margin:2px}
h1 {padding:0px; margin:0px}
h1 a {text-decoration:none; color:#000}
.breadcrumbs {}
.menu {float:right; background-color:#cfc; border:1px solid; border-color:#336; padding:1px 30px; margin-left:20px}
.menu1, .menu2, .menu3 {padding:1px; margin:0px;}
.menu1 {font-size:90%; font-weight:bold}
.menu2 {margin-left:10px; font-size:80%}
.menu3 {margin-left:20px; font-size:70%}
.footer {background-color:#eec; border:1px solid; border-color:#333; padding:0px 10px; margin:2px; clear:both;}
.footer p {font-size:80%; padding:2px; margin:0px}
.listing {font-family:fixed,courier; width:90%; margin:2px; padding:10px;}
.navbox {margin-bottom:20px}
.button {background-color:#eec;}
a:hover {color:#0c0}
pre {margin-left:30px; margin-right:30px;}
pre.snippet {border:1px solid #000; padding:0px 20px; background-color:#eee}