X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=tools%2Fhtdocs%2Fmkws-doc.css;h=a58c10f06e64b71678a019ebe12131154eaab41d;hb=42ca1c4a0ca09e45e4cc56e91f1cf69584839d94;hp=2b89f78d5e529432855e2777e1a80d5320daedeb;hpb=01f372e7e7c05590585bae4348e701782539a9bd;p=mkws-moved-to-github.git diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css index 2b89f78..a58c10f 100644 --- a/tools/htdocs/mkws-doc.css +++ b/tools/htdocs/mkws-doc.css @@ -2,15 +2,26 @@ body { font-family: Times, "Times Roman", "Times New Roman"; } -h1, h2, h3 { +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: #e0e8f8; padding: 0.2em; + font-weight: normal; } h2.author { @@ -23,7 +34,7 @@ h3.date { color: black } -p, ul, pre { +body > p, ul, ol, pre, table, h4 { margin-left: 10%; } @@ -35,11 +46,30 @@ 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;