diff options
author | Caleb Maclennan <caleb@alerque.com> | 2023-11-10 09:12:04 +0300 |
---|---|---|
committer | Caleb Maclennan <caleb@alerque.com> | 2023-11-10 09:12:04 +0300 |
commit | 5c4fc93d5f4137bf4c22ddf1a048c907a4a26727 (patch) | |
tree | a9a68e1f6a9c3bfe2b64fa1c3a4098865b7d3b5d /docs/reference.css | |
parent | ccef3bc4e2aa6ee5b997a80aabb58f4ff0b0e98f (diff) | |
parent | 43a97b7f0053313b43906371dbdc226271e6c8ab (diff) | |
download | luasocket-hjelmeland-patch-1.tar.gz luasocket-hjelmeland-patch-1.tar.bz2 luasocket-hjelmeland-patch-1.zip |
Merge branch 'master' into hjelmeland-patch-1hjelmeland-patch-1
Diffstat (limited to 'docs/reference.css')
-rw-r--r-- | docs/reference.css | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/docs/reference.css b/docs/reference.css new file mode 100644 index 0000000..04e38cf --- /dev/null +++ b/docs/reference.css | |||
@@ -0,0 +1,55 @@ | |||
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; } | ||