diff options
Diffstat (limited to 'doc/reference.css')
-rw-r--r-- | doc/reference.css | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/doc/reference.css b/doc/reference.css deleted file mode 100644 index 04e38cf..0000000 --- a/doc/reference.css +++ /dev/null | |||
@@ -1,55 +0,0 @@ | |||
1 | body { | ||
2 | margin-left: 1em; | ||
3 | margin-right: 1em; | ||
4 | font-family: "Verdana", sans-serif; | ||
5 | background: #ffffff; | ||
6 | } | ||
7 | |||
8 | tt { | ||
9 | font-family: "Andale Mono", monospace; | ||
10 | } | ||
11 | |||
12 | h1, h2, h3, h4 { margin-left: 0em; } | ||
13 | |||
14 | |||
15 | h3 { padding-top: 1em; } | ||
16 | |||
17 | p { margin-left: 1em; } | ||
18 | |||
19 | p.name { | ||
20 | font-family: "Andale Mono", monospace; | ||
21 | padding-top: 1em; | ||
22 | margin-left: 0em; | ||
23 | } | ||
24 | |||
25 | a[href] { color: #00007f; } | ||
26 | |||
27 | blockquote { margin-left: 3em; } | ||
28 | |||
29 | pre.example { | ||
30 | background: #ccc; | ||
31 | padding: 1em; | ||
32 | margin-left: 1em; | ||
33 | font-family: "Andale Mono", monospace; | ||
34 | font-size: small; | ||
35 | } | ||
36 | |||
37 | hr { | ||
38 | margin-left: 0em; | ||
39 | background: #00007f; | ||
40 | border: 0px; | ||
41 | height: 1px; | ||
42 | } | ||
43 | |||
44 | ul { list-style-type: disc; } | ||
45 | |||
46 | table.index { border: 1px #00007f; } | ||
47 | table.index td { text-align: left; vertical-align: top; } | ||
48 | table.index ul { padding-top: 0em; margin-top: 0em; } | ||
49 | |||
50 | h1:first-letter, | ||
51 | h2:first-letter, | ||
52 | h2:first-letter, | ||
53 | h3:first-letter { color: #00007f; } | ||
54 | |||
55 | div.header, div.footer { margin-left: 0em; } | ||