BODY { font-size: 12pt; background-image: url("bg.gif"); }
 H1.head { font-weight: bold; color: green; font-size: 16pt; }
 P.inst { margin-left: 125; font-weight: bold; font-style: italic; font-size: 13pt; }
 P.dir { margin-left: 125; font-style: italic; font-size: 13pt; }
 H2.head { font-size: 12pt; }
 P.info { margin-left: 125; font-size: 11pt; }
 H2 { color: rgb(0,128,0); text-align: center; font-size: 12pt; }
 H3 { }
 P { }
 UL { }
 UL.liter { color: rgb(0,0,128); }
 P.fig { font-weight: bold; color: rgb(0,128,128); }
 P.table { font-weight: bold; color: rgb(0,128,128); }
 H1.index { text-align: center; font-size: 20pt; }
 H2.index { font-style: italic; font-size: 16pt; }
 P.index { font-size: 12pt; }