| pre { font-family: Courier; } |
| body { font-size: 10pt; background: white; font-family: arial, helvetica, geneva;} |
| table,td,th { font-size: 10pt; 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: 10pt; padding-left: 3; background: "#0080C0"; color: white; font-weight: bold; } |
| .sectionold { font-size: 10pt; padding-left: 3; background: "#999999"; color: white; font-weight: bold; } |
| .subsection { font-size: 10pt; 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;} |
