| 1 | /* Font definitions */ |
|---|
| 2 | body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: sans-serif; font-size: 10pt } |
|---|
| 3 | pre { font-family: monospace; font-size: 10pt } |
|---|
| 4 | h1 { font-size: 18pt; } |
|---|
| 5 | h2 { font-size: 14pt; } |
|---|
| 6 | h3 { font-size: 11pt; } |
|---|
| 7 | |
|---|
| 8 | /* Margins */ |
|---|
| 9 | h1 { margin-top: 5; margin-bottom: 1 } |
|---|
| 10 | h2 { margin-top: 25; margin-bottom: 3 } |
|---|
| 11 | h3 { margin-top: 20; margin-bottom: 3 } |
|---|
| 12 | h4 { margin-top: 20; margin-bottom: 3 } |
|---|
| 13 | h5 { margin-top: 0; margin-bottom: 0 } |
|---|
| 14 | p { margin-top: 10px; margin-bottom: 10px } |
|---|
| 15 | pre { margin-left: 6 } |
|---|
| 16 | ul { margin-top: 0; margin-bottom: 10 } |
|---|
| 17 | li { margin-top: 0; margin-bottom: 0 } |
|---|
| 18 | li p { margin-top: 0; margin-bottom: 0 } |
|---|
| 19 | ol { margin-top: 0; margin-bottom: 10 } |
|---|
| 20 | dl { margin-top: 0; margin-bottom: 10 } |
|---|
| 21 | dt { margin-top: 0; margin-bottom: 0; font-weight: bold } |
|---|
| 22 | dd { margin-top: 0; margin-bottom: 0 } |
|---|
| 23 | |
|---|
| 24 | /* Styles and colors */ |
|---|
| 25 | a:link { color: #0000FF } |
|---|
| 26 | a:hover { color: #000080 } |
|---|
| 27 | a:visited { text-decoration: underline } |
|---|
| 28 | h4 { font-style: italic } |
|---|
| 29 | strong { font-weight: bold } |
|---|
| 30 | em { font-style: italic } |
|---|
| 31 | var { font-style: italic } |
|---|
| 32 | th { font-weight: bold } |
|---|
