/* body { margin-left:10mm; } */
/* h1 { color:#4444ff; background:yellow; left:12pt; position:relative; }*/
h1 { color:#000077; background:yellow; padding: 2pt 12pt;}
h2 { color:blue; background:yellow; padding:0pt 12pt; }
h3 { color:#0000ff; padding:0pt 12pt; }
p { text-indent:12pt; }
li { padding:4pt 0pt; }
pre.box {background:#aaFFFF; margin: 32pt;padding: 16pt 32pt; border: 1px solid gray; }
pre.fbox {background:#FFFFCC; margin: 32pt;padding: 16pt 32pt; border: 1px solid black; }xs