body    { min-width:210mm; max-width:210mm; 
           margin-left:auto; margin-right:auto; margin-top:30pt; margin-bottom:30pt;
           border:1pt solid #444; color:#544; font-family:sans-serif; font-size:4mm; background-color:white; }

div.content { padding-left:35mm; padding-right:35mm; padding-top:24mm; padding-bottom:24mm;
              text-align:justify }

span.code   { font-family:monospace; }

div.nav { border:0pt solid white; padding:0pt; padding-top:10mm;
          margin-right:10mm; margin-left:-45mm; 
          min-width:35mm; max-width:40mm; float:left; }

div.navlink1   { background-color:#211; color:white; 
                margin-bottom:1mm; padding:.5mm; padding-left:2mm; padding-right:2mm; }
div.navcurrentlink1   { background-color:#211; color:white; 
                margin-bottom:1mm; padding:.5mm; padding-left:2mm; padding-right:2mm; }

div.navlink0  { display:none }
div.navcurrentlink0  { display:none }

a.navlink1   { text-decoration:none; font-weight:bold; color:white; }
a.navcurrentlink1   { text-decoration:none; font-weight:bold; color:white; }

a.navlink1   { text-decoration:none; font-weight:bold; color:white; }
a.navcurrentlink1   { text-decoration:none; font-weight:bold; color:white; }

div.navlink2   { background-color:white; color:#211; 
                margin-bottom:2mm; padding:.5mm; padding-left:2mm; padding-right:2mm; border:1pt solid #211; }
div.navcurrentlink2   { background-color:white; color:#211; 
                margin-bottom:2mm; padding:.5mm; padding-left:2mm; padding-right:2mm;  border:1pt solid #211; }
a.navlink2   { text-decoration:none; font-weight:bold; color:#211; }
a.navcurrentlink2   { text-decoration:none; font-weight:bold; color:#211; }

img     { border:none; }
img.nav { margin-left:auto; margin-right:0pt; }

a       { text-decoration:none; color:#933; font-weight:bold; }
a:hover { text-decoration:none; color:#b33; font-weight:bold; }