[483] | 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: 9pt } |
---|
| 3 | pre { font-family: monospace; font-size: 9pt } |
---|
| 4 | |
---|
| 5 | /* Margins */ |
---|
| 6 | body { overflow: auto; margin-top: 0; margin-bottom: 4; margin-left: 3; margin-right: 0 } |
---|
| 7 | h1 { margin-top: 5; margin-bottom: 1 } |
---|
| 8 | h2 { margin-top: 25; margin-bottom: 3 } |
---|
| 9 | h3 { margin-top: 20; margin-bottom: 3 } |
---|
| 10 | h4 { margin-top: 20; margin-bottom: 3 } |
---|
| 11 | h5 { margin-top: 0; margin-bottom: 0 } |
---|
| 12 | p { margin-top: 10px; margin-bottom: 10px } |
---|
| 13 | pre { margin-left: 6 } |
---|
| 14 | ul { margin-top: 0; margin-bottom: 10 } |
---|
| 15 | li { margin-top: 0; margin-bottom: 0 } |
---|
| 16 | li p { margin-top: 0; margin-bottom: 0 } |
---|
| 17 | ol { margin-top: 0; margin-bottom: 10 } |
---|
| 18 | dl { margin-top: 0; margin-bottom: 10 } |
---|
| 19 | dt { margin-top: 0; margin-bottom: 0; font-weight: bold } |
---|
| 20 | dd { margin-top: 0; margin-bottom: 0 } |
---|
| 21 | |
---|
| 22 | /* Styles and colors */ |
---|
| 23 | a:link { color: #0000FF } |
---|
| 24 | a:hover { color: #000080 } |
---|
| 25 | a:visited { text-decoration: underline } |
---|
| 26 | h4 { font-style: italic } |
---|
| 27 | strong { font-weight: bold } |
---|
| 28 | em { font-style: italic } |
---|
| 29 | var { font-style: italic } |
---|
| 30 | th { font-weight: bold } |
---|