body { background:#F4F4F4; font-family:Sans-Serif; font-size:0.8em;
       max-width:900px; position:relative; margin-left:auto; margin-right:auto;
       padding-left:10px; padding-right:10px }
h2   { font-style:italic; color:red; margin-top:0px }
table{ background:white; border-collapse:collapse; box-shadow:2px 2px 6px #AACCDD }
td,caption,code,tt {font-size:10pt}
ol,pre { margin-top:0; margin-bottom:0 }
hr   { color:#A0A0A0 }
.l   { float:left; margin-right:10px }
.r   { float:right; margin-left:10px }
a:hover{ color:red;background:white }
.pg  { margin:0px; padding-left:11.4em }
.nav { position:absolute; left:10px; top:0px; width:9.5em; background:white;
       padding:5px; padding-right:0px; border:1px solid silver;
       border-radius:7px; box-shadow:2px 2px 6px #AACCDD }
.nav a {text-decoration:none; color:#0000CC}
.nav a:hover {text-decoration:underline}