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