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

diff --git a/doc/Makefile b/doc/Makefile
index c224fa0..f65d44a 100644 (file)
--- 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 (file)
--- 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 {