From 08f39b37767d6479df63f10ced78ffb787bb7007 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sun, 8 Sep 2019 16:38:52 +0300 Subject: Add: stylesheets Copied from ick.liw.fi with permission. --- local.css | 49 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) create mode 100644 local.css (limited to 'local.css') diff --git a/local.css b/local.css new file mode 100644 index 0000000..9780c48 --- /dev/null +++ b/local.css @@ -0,0 +1,49 @@ +.float_right { + float: right; +} + +table { + border-collapse: collapse; +} + +table, th, td { + border: 1px solid #ddd; + text-align: left; +} + +th, td { + padding: 10px; +} + +h1 { font: bold 250% sans-serif; margin-top: 2em; } +h2 { font: bold 150% sans-serif; margin-top: 2em; } +h3, h4, h5, h6 { font: bold 100% sans-serif } +body { + font-family: serif; +} +pre, code { + font-family: "Inconsolata", "Courier", monospace; +} + + +/* code formatting */ +pre.hl { + background: #ddd; +} + +/* outlines; this overrides style.css */ +li.L1 { list-style: decimal; } +li.L2 { list-style: decimal; } +li.L3 { list-style: decimal; } +li.L4 { list-style: decimal; } +li.L5 { list-style: decimal; } +li.L6 { list-style: decimal; } +li.L7 { list-style: decimal; } +li.L8 { list-style: decimal; } + + +/* make list of news items look like a list */ +.newslist p { + display: list-item; + margin-left: 2em; +} -- cgit v1.2.1