body {background-color:white;margin:0;padding:0;}
#bodytext {padding: 0}
#pagehead {padding:8px 0 0 0;background-color:white;height:46px;}
#pagehead h1 {display:none;}
#pagehead h1 span  {display:none;}
#pagehead img.print {margin:0;border:none;}
#pagehead img.screen {display:none;}
#ruler hr {background-color:#FFE509;color:#FFE509;border:1pt solid black;}
#breadcrumbs {font-size:10px;margin:0;color:#000;}
#breadcrumbs a {text-decoration:none;color:#000;}
#mainmenu {display:none;}
#submenu {display:none;}
#footer {display:none;}
.codeblock,.codeline {border:1px solid black;padding:2px 10px 2px 10px;}
.console {border:1px solid black;padding:2px 10px 2px 10px;}