diff options
| author | Thijs Schreijer <thijs@thijsschreijer.nl> | 2022-03-23 07:55:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-23 07:55:45 +0100 |
| commit | af0ddb6ea845b285a6aa6a5019a448726ee23095 (patch) | |
| tree | c9bca0319e32501b708b66eeabc5039c09cee352 /doc/reference.css | |
| parent | c1eacfa6d24dc15476f5f9befa8370e2244931d4 (diff) | |
| parent | 2eac8950396247b412c4089c23a46015c8cc12bb (diff) | |
| download | luasocket-af0ddb6ea845b285a6aa6a5019a448726ee23095.tar.gz luasocket-af0ddb6ea845b285a6aa6a5019a448726ee23095.tar.bz2 luasocket-af0ddb6ea845b285a6aa6a5019a448726ee23095.zip | |
Merge pull request #361 from lunarmodules/docs
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; } | ||
