X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=tools%2Fhtdocs%2Fmkws-doc.css;h=a58c10f06e64b71678a019ebe12131154eaab41d;hb=a24738abe032aab1125b8ca56e35369a5def9824;hp=5d28acb9f2cb716fbc30781542559c8553525449;hpb=3bac93d2fb9b7d8d83d0b7cac04b3122313b9e6d;p=mkws-moved-to-github.git diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css index 5d28acb..a58c10f 100644 --- a/tools/htdocs/mkws-doc.css +++ b/tools/htdocs/mkws-doc.css @@ -2,30 +2,75 @@ body { font-family: Times, "Times Roman", "Times New Roman"; } -h1, h2, h3 { - color: #666; +h1, h2, h3, h4 { + color: #68a; font-weight: bold; font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif; } +h2 a, h3 a, h4 a, div#TOC a { + color: #68a; + text-decoration: none; +} + +h2, h3 { + /* Default spacing is way off in both Chrome and Firefox */ + margin-bottom: -0.5em; +} + h1 { - background: #eee; + background: #e0e8f8; padding: 0.2em; + font-weight: normal; } -p, ul, pre { - margin-left: 10em; +h2.author { + font-size: 120%; + color: black +} + +h3.date { + font-size: 100%; + color: black +} + +body > p, ul, ol, pre, table, h4 { + margin-left: 10%; } p, ul { max-width: 40em; } +pre { + background: #eee; +} + +table tr th { + color: white; + background: #68a; + font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif; +} + +th, td { + padding: 0.2em 0.5em; + vertical-align: top; +} + +table tr:nth-child(odd) { + background: #a9c6e3; +} + +table tr:nth-child(even) { + background: #bfdcf8; +} + /* * 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 { + */ +body > p:last-of-type { font-size: small; + max-width: none; text-align: right; }