/* style sheet for printer */
body{font-family:arial,sans-serif;background-color:#FFFFFF;color:#000000;margin:2px;}
a:link,a:visited{color:#0000CC; text-decoration:none;}
h1{margin-left:10%;font-size:200%;font-weight:700;}
h2{text-align:Left;font-size:130%;font-weight:600;}
h3{text-align:Left;font-size:110%;font-weight:600;}
h4{text-align:Left;font-size:100%;font-weight:550;text-decoration:underline}
h5{text-align:Left;font-size:100%;font-weight:520;font-style:italic}
dt{font-weight:600;font-size:110%}
dd,li{padding-bottom:0.5em;}
blockquote{margin-left:5%;}
pre{font-family:courier,monospace}
code{font-family:courier,monospace}
kbd{font-family:courier,monospace;font-size:100%;font-weight:600;}
var{font-family:times;font-style:italic;}
th{font-size:110%;font-weight:bold;}
table.code, table.show {color:#000000; background-color:#FFFFFF;border:solid 1px black;}
table.code td, table.show td {padding:6px;}
div.main{padding-left:2%;padding-right:2%;padding-top:1px;}
.tablehead{font-size:120%;font-weight:bold;}
small.lastmod {font-size:8pt;color:#993300;}
.menu{display:none;} /* dont print menu */