From d6fd2aa572e0fd267c168d93023c0ccb378a363f Mon Sep 17 00:00:00 2001
From: Matthias Vogelgesang <matthias.vogelgesang@gmail.com>
Date: Tue, 28 Aug 2012 11:28:36 +0200
Subject: Use a more legible style sheet

---
 docs/Makefile      |   8 ++--
 docs/style.css     | 120 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 docs/webfonts.html |   1 +
 3 files changed, 125 insertions(+), 4 deletions(-)
 create mode 100644 docs/style.css
 create mode 100644 docs/webfonts.html

diff --git a/docs/Makefile b/docs/Makefile
index ba95009..53dc6fd 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -1,5 +1,5 @@
 PANDOC=$(shell which pandoc)
-OPTS=-s --smart
+OPTS=-s --smart --toc
 
 all: pdf html
 
@@ -11,10 +11,10 @@ clean:
 	rm -f manual.pdf manual.html
 
 manual.pdf: manual.md
-	$(PANDOC) manual.md -o manual.pdf
+	$(PANDOC) $(OPTS) manual.md -o manual.pdf
 
-manual.html: manual.md
-	$(PANDOC) $(OPTS) manual.md -o manual.html
+manual.html: manual.md style.css
+	$(PANDOC) $(OPTS) manual.md -H webfonts.html -c style.css -o manual.html
 
 ifeq ($(PANDOC),)
 	$(warning Pandoc not found!)
diff --git a/docs/style.css b/docs/style.css
new file mode 100644
index 0000000..a2cd2f6
--- /dev/null
+++ b/docs/style.css
@@ -0,0 +1,120 @@
+
+/* --- Reset ------------------------------------------------------ */
+
+body, div, dl, dt, dd, ul, ol, li,
+h1, h2, h3, h4, h5, h6,
+pre, form, fieldset, input, textarea,
+p, blockquote, th, td { 
+  margin: 0;
+    padding: 0;
+}
+table {
+  border-collapse: collapse;
+    border-spacing: 0;
+}
+fieldset, img {
+  border: 0;
+  }
+  address, caption, cite, dfn, th, var {
+    font-style: normal;
+  font-weight: normal;
+  }
+  caption, th {
+    text-align: left;
+}
+h1, h2, h3, h4, h5, h6 {
+  font-size: 100%;
+    font-weight: normal;
+}
+q:before, q:after {
+  content: '';
+  }
+  abbr, acronym {
+    border: 0;
+}
+
+/* --- Main ------------------------------------------------------- */
+
+html {
+    font-family: "Droid Serif", serif;
+}
+
+body {
+    max-width: 800px;
+    text-align: left;
+    margin-top: 24px;
+    margin-left: auto;
+    margin-right: auto;
+    line-height: 1.5em;
+}
+
+p {
+    margin-bottom: 24px;
+}
+
+p > code {
+    font-size: 0.8em;
+}
+
+h1, h2, h3, h4, h5, h6 {
+    margin-bottom: 24px;
+    font-family: "Droid Sans", sans-serif;
+    font-weight: bold;
+}
+
+h1 {
+    font-size: 1.5em;
+    line-height: 1em;
+}
+
+h2 {
+    font-size: 1.375em;
+    line-height: 1.0909em;
+}
+
+h3 {
+    font-size: 1.25em;
+    line-height: 1.2em;
+}
+
+h4 {
+    font-size: 1.125em;
+    line-height: 1.333em;
+}
+
+h5, h6 {
+    font-size: 1em;
+    line-height: 1.5em;
+}
+
+h1 > a, h2 > a, h3 > a, h4 > a, h5 > a, h6 > a {
+    color: black;
+    text-decoration: none;
+}
+
+pre {
+    margin-bottom: 24px;
+    line-height: 1.3em;
+}
+
+code {
+    font-family: "Droid Sans Mono", monospace;
+}
+
+ul, ol {
+    margin-bottom: 24px;
+}
+
+ul ul,
+ol ol {
+    margin: 0 0 0 24px;
+}
+
+.title {
+    font-size: xx-large;
+}
+
+.author {
+    font-size: 1.25em;
+    font-weight: normal;
+}
diff --git a/docs/webfonts.html b/docs/webfonts.html
new file mode 100644
index 0000000..dce5986
--- /dev/null
+++ b/docs/webfonts.html
@@ -0,0 +1 @@
+<link href='http://fonts.googleapis.com/css?family=Droid+Sans:400,700|Droid+Sans+Mono|Droid+Serif:400,400italic' rel='stylesheet' type='text/css'>
-- 
cgit v1.2.3