Styles for tables.

diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css
index 2a34a60..891f1c7 100644 (file)
--- a/tools/htdocs/mkws-doc.css
+++ b/tools/htdocs/mkws-doc.css
@@ -34,7 +34,7 @@ h3.date {
     color: black
 }
 
-body > p, ul, pre {
+body > p, ul, pre, table {
     margin-left: 10%;
 }
 
@@ -46,6 +46,25 @@ 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: #b9d4f0;
+}
+
 /*
  * 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.