| 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;} |