diff options
Diffstat (limited to 'doc/reference.css')
| -rw-r--r-- | doc/reference.css | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/doc/reference.css b/doc/reference.css index 2a8987e..607ac4f 100644 --- a/doc/reference.css +++ b/doc/reference.css | |||
| @@ -1,11 +1,19 @@ | |||
| 1 | body { margin-left: 1em; margin-right: 1em; } | 1 | body { |
| 2 | margin-left: 1em; | ||
| 3 | margin-right: 1em; | ||
| 4 | font-family: "Verdana"; | ||
| 5 | } | ||
| 6 | |||
| 7 | tt { | ||
| 8 | font-family: "Andale Mono", monospace; | ||
| 9 | } | ||
| 2 | 10 | ||
| 3 | h1, h2, h3, h4 { margin-left: 0em; } | 11 | h1, h2, h3, h4 { margin-left: 0em; } |
| 4 | 12 | ||
| 5 | p { margin-left: 1em; } | 13 | p { margin-left: 1em; } |
| 6 | 14 | ||
| 7 | p.name { | 15 | p.name { |
| 8 | font-family: monospace; | 16 | font-family: "Andale Mono", monospace; |
| 9 | padding-top: 1em; | 17 | padding-top: 1em; |
| 10 | margin-left: 0em; | 18 | margin-left: 0em; |
| 11 | } | 19 | } |
| @@ -18,6 +26,8 @@ pre.example { | |||
| 18 | background: #ccc; | 26 | background: #ccc; |
| 19 | padding: 1em; | 27 | padding: 1em; |
| 20 | margin-left: 1em; | 28 | margin-left: 1em; |
| 29 | font-family: "Andale Mono", monospace; | ||
| 30 | font-size: small; | ||
| 21 | } | 31 | } |
| 22 | 32 | ||
| 23 | hr { | 33 | hr { |
