From: Mike Taylor <mike@indexdata.com>
Date: Wed, 15 Oct 2014 12:23:58 +0000 (+0100)
Subject: Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mkws
X-Git-Tag: 1.0.0~194^2
X-Git-Url: http://lists.indexdata.dk/cgi-bin?a=commitdiff_plain;h=4a8d85edbabdd2f3228578d0f0ec9a53661d7eb6;hp=ffd03b58fdec5267a9cf63a3d3f5a84167bcff2b;p=mkws-moved-to-github.git

Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mkws
---

diff --git a/doc/Makefile b/doc/Makefile
index c224fa0..f65d44a 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -5,12 +5,18 @@
 
 DOCS = index.html index.pdf \
        mkws-manual.html mkws-manual.pdf \
-       mkws-developer.html mkws-developer.pdf
+       mkws-developer.html mkws-developer.pdf \
+       mkws-doc.css
 
 INSTALLED = $(DOCS:%=../tools/htdocs/%)
 
 all: $(INSTALLED)
 
+../tools/htdocs/%: %
+	rm -f $@
+	cp $< $@
+	chmod ugo-w $@
+
 # For a description of pandoc's markdown format, see:
 # http://johnmacfarlane.net/pandoc/demo/example9/pandocs-markdown.html
 
diff --git a/doc/mkws-doc.css b/doc/mkws-doc.css
index fc4d576..9d049f7 100644
--- a/doc/mkws-doc.css
+++ b/doc/mkws-doc.css
@@ -1,9 +1,11 @@
 body {
   font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Sans-Serif;
 }
-h1, h2, h3 { font-weight: normal; color: #606060 }
+h1, h2, h3 { color: #606060 }
 h2 { margin-top: 0.5em }
+h1.title, h2.author, h3.date { font-weight: normal }
 div#header h2 { font-size: 120% }
+div#header h3 { font-size: 100% }
 .pane {
   padding: 0em 1em; margin: 0.75em;
   border: 0.5em solid #eee;
@@ -17,7 +19,6 @@ div#header h2 { font-size: 120% }
   background-image: none;
 }
 .pane h1 a, .pane h2 a, .pane h3 a { text-decoration: none; color: black }
-.nologo { background-image: none }
 pre { background: #ddd; padding: 0.5em; }
 img:first-of-type { float: right; margin: 1.5em }
 body > p:last-of-type {