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