| 1 | body { |
| 2 | color: black; |
| 3 | background-color: white; |
| 4 | font-family: times,serif; |
| 5 | font-weight: normal; |
| 6 | font-size: 12pt; |
| 7 | font-variant: normal |
| 8 | } |
| 9 | |
| 10 | div.section { |
| 11 | margin-left:1em |
| 12 | } |
| 13 | |
| 14 | h1 { |
| 15 | background-color: #e0ffe0; |
| 16 | font-family: helvetica,sans-serif; |
| 17 | padding: 0.2em |
| 18 | } |
| 19 | |
| 20 | h2 { |
| 21 | background-color: #e0ffe0; |
| 22 | font-family: helvetica,sans-serif; |
| 23 | padding: 0.2em |
| 24 | } |
| 25 | |
| 26 | h3 { |
| 27 | background-color: #f0f0f0; |
| 28 | font-family: helvetica,sans-serif; |
| 29 | padding: 0.2em |
| 30 | } |
| 31 | |
| 32 | h4 { |
| 33 | font-family: helvetica,sans-serif |
| 34 | } |
| 35 | |
| 36 | table.bugs { |
| 37 | width: 100%; |
| 38 | font-size: 12pt; |
| 39 | border-collapse: collapse; |
| 40 | border:1px |
| 41 | } |
| 42 | |
| 43 | table.bugs th { |
| 44 | text-align: left; |
| 45 | border: 1px solid black; |
| 46 | background-color: black; |
| 47 | color: white |
| 48 | } |
| 49 | |
| 50 | table.bugs td { |
| 51 | border: 1px solid |
| 52 | } |
| 53 | |
| 54 | span.command { |
| 55 | font-family: monospace |
| 56 | } |