diff options
Diffstat (limited to 'default.css')
-rw-r--r-- | default.css | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/default.css b/default.css new file mode 100644 index 0000000..bb30492 --- /dev/null +++ b/default.css @@ -0,0 +1,58 @@ +body { + background-color: #ffffee; + color: #333366; + font-family: "Verdana", sans-serif; +} + +h1 { + text-align: center; +} + +h2 { + text-align: left; +} + +a[href]:link, a[href]:visited { + color: #6666ff; + text-decoration: none +} + +a[href]:hover { + color: #6666ff; + text-decoration: underline; +} + +a[href]:active { + color: #333366; +} + +code, tt { + font-family: "Terminus", monospace; + color: #cc0000; +} + +pre { + background-color: #1e1e27; + color: #cfbfad; + padding-top: 3px; + padding-bottom: 3px; + padding-left: 8px; + padding-right: 8px; +} + +div.warning p.admonition-title, div.note p.admonition-title { + font-weight: bold; + display: inline; +} + +div.warning p, div.note p { + display: inline; +} + +div.warning p.admonition-title:after, div.note p.admonition-title:after { + content: ":"; +} + +dt { + font-weight: bold; +} |