From 81aa0c5bc14492687685e48d901a7628fbea0bab Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Thu, 25 Jul 2013 14:49:05 +0100 Subject: [PATCH] New file, mkws-doc.css Used only for HTML documentation generated from Markdown. --- tools/htdocs/mkws-doc.css | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 tools/htdocs/mkws-doc.css diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css new file mode 100644 index 0000000..6433806 --- /dev/null +++ b/tools/htdocs/mkws-doc.css @@ -0,0 +1,27 @@ +body { + font-family: Times, "Times Roman", "Times New Roman"; +} + +h1, h2, h3 { + color: #666; + font-weight: bold; + font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif; +} + +h1 { + background: #eee; + padding: 0.2em; +} + +p, ul, pre { + margin-left: 10em; +} + +/* + * Works with the HTML emitted by pandoc. It would better if pandoc + * were to emit class names that we can use. But it doesn't. + */ +body p:last-of-type { + font-size: small; + text-align: right; +} -- 1.7.10.4