pre         { font-family: Courier; }
body        { font-size: 10pt; background: white; font-family: arial, helvetica, geneva;}
.indextop   { font-size: x-large; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold}
.indexsub   { font-size: xx-small; font-family: Arial, Helvetica, sans-serif; color: #8080FF}
.section    { font-size: 16pt; padding-left: 3; background: "#0070B0"; color: white; font-weight: bold; }
.subsection { font-size: 14pt; font-weight: bold;}
.code       { margin-left: 3%; margin-top: 3%; margin-right 3%; font-family: Courier; }
.indent     { margin-left: 1%;}
.new        { color: green;}
.old        { text-decoration: line-through; color: red;}

table.document {border: 0px; border-spacing:10}
table.document td {border:0px; padding: 0ex 1ex;}

P.arrow {font-weight:bold;}
td.major {background: "#0070B0"; color:white; font-size: 12pt; font-weight:bold}
td.minor {background: #0070B0; color:white; font-weight:bold;}