diff options
Diffstat (limited to 'extras/html/themes/simple/style.css')
| -rw-r--r-- | extras/html/themes/simple/style.css | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/extras/html/themes/simple/style.css b/extras/html/themes/simple/style.css new file mode 100644 index 0000000..b5eb9b5 --- /dev/null +++ b/extras/html/themes/simple/style.css @@ -0,0 +1,62 @@ +body { + font-family: sans-serif; + max-width: 1024px; +} + +a { + font-family: courier, monospace; + text-decoration: none; + color: #0e0e0e; +} + +h1, h2, h3 { + font-family: serif; +} + +a:hover { + text-decoration: underline; +} + +a.textlink:before { + content: "⇒ "; + padding-left: 11px; +} + +.quote { + font-style: italic; +} + +.quote:before { + content: "« "; + padding-left: 2px; +} + +.quote:after { + content: " »"; + padding-right: 2px; +} + +ul { + list-style: none; + margin: 0 0 0 0; +} + +li:before { + content: "★"; + padding-right: 5px; +} + +img { + max-width: 90%; +} + +pre { + font-family: courier, monospace; + background: #1e1e1e; + padding: 20px; + color: #ffffff; +} + +span.inlinecode { + font-family: courier, monospace; +} |
