--- a/doc/Makefile	Tue Oct 20 22:43:17 2009 +0200
+++ b/doc/Makefile	Wed Oct 21 23:40:01 2009 +0200
@@ -25,7 +25,8 @@
 	  --strip-elements-with-class htmlonly $*.txt $*
 
 %.html: %.txt common.txt
-	$(RST2HTML) --halt warning $*.txt $*.html
+	$(RST2HTML) --halt warning \
+	  --link-stylesheet --stylesheet-path style.css $*.txt $*.html
 
 MANIFEST: man html
 # tracked files are already in the main MANIFEST

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/style.css	Wed Oct 21 23:40:01 2009 +0200
@@ -0,0 +1,353 @@
+
+body {
+    font-family: sans-serif;
+    /* adjustment for tt padding */
+    line-height: 140%;
+}
+
+tt, pre {
+    background-color: #EEE;
+    border: thin solid #CCC;
+    padding: 1px;
+}
+
+pre {
+    padding: 0.25em;
+}
+
+#contents tt, h2 tt {
+    background-color: inherit;
+    border: inherit;
+}
+
+/* styles taken from html4css1.css from Docutils, which is in the
+   public domain */
+
+/* used to remove borders from tables and images */
+.borderless, table.borderless td, table.borderless th {
+    border: 0;
+}
+
+table.borderless td, table.borderless th {
+    /* Override padding for "table.docutils td" with "! important".
+       The right padding separates the table cells. */
+    padding: 0 0.5em 0 0 ! important;
+}
+
+.first {
+    /* Override more specific margin styles with "! important". */
+    margin-top: 0 ! important;
+}
+
+.last, .with-subtitle {
+    margin-bottom: 0 ! important;
+}
+
+.hidden {
+    display: none;
+}
+
+a.toc-backref {
+    text-decoration: none;
+    color: black;
+}
+
+blockquote.epigraph {
+    margin: 2em 5em;;
+}
+
+dl.docutils dd {
+    margin-bottom: 0.5em;
+}
+
+/* Uncomment (and remove this text!) to get bold-faced definition list terms
+dl.docutils dt {
+    font-weight: bold;
+}
+*/
+
+div.abstract {
+    margin: 2em 5em;
+}
+
+div.abstract p.topic-title {
+    font-weight: bold;
+    text-align: center;
+}
+
+div.admonition, div.attention, div.caution, div.danger, div.error,
+div.hint, div.important, div.note, div.tip, div.warning {
+    margin: 2em;
+    border: medium outset;
+    padding: 1em;
+}
+
+div.admonition p.admonition-title, div.hint p.admonition-title,
+div.important p.admonition-title, div.note p.admonition-title,
+div.tip p.admonition-title {
+    font-weight: bold;
+    font-family: sans-serif;
+}
+
+div.attention p.admonition-title, div.caution p.admonition-title,
+div.danger p.admonition-title, div.error p.admonition-title,
+div.warning p.admonition-title {
+    color: red;
+    font-weight: bold;
+    font-family: sans-serif;
+}
+
+/* Uncomment (and remove this text!) to get reduced vertical space in
+   compound paragraphs.
+div.compound .compound-first, div.compound .compound-middle {
+    margin-bottom: 0.5em;
+}
+
+div.compound .compound-last, div.compound .compound-middle {
+    margin-top: 0.5em;
+}
+*/
+
+div.dedication {
+    margin: 2em 5em;
+    text-align: center;
+    font-style: italic;
+}
+
+div.dedication p.topic-title {
+    font-weight: bold;
+    font-style: normal;
+}
+
+div.figure {
+    margin-left: 2em;
+    margin-right: 2em;
+}
+
+div.footer, div.header {
+    clear: both;
+    font-size: smaller;
+}
+
+div.line-block {
+    display: block;
+    margin-top: 1em;
+    margin-bottom: 1em;
+}
+
+div.line-block div.line-block {
+    margin-top: 0;
+    margin-bottom: 0;
+    margin-left: 1.5em;
+}
+
+div.sidebar {
+    margin: 0 0 0.5em 1em;
+    border: medium outset;
+    padding: 1em;
+    background-color: #ffffee;
+    width: 40%;
+    float: right;
+    clear: right;
+}
+
+div.sidebar p.rubric {
+    font-family: sans-serif;
+    font-size: medium;
+}
+
+div.system-messages {
+    margin: 5em;
+}
+
+div.system-messages h1 {
+    color: red;
+}
+
+div.system-message {
+    border: medium outset;
+    padding: 1em;
+}
+
+div.system-message p.system-message-title {
+    color: red;
+    font-weight: bold;
+}
+
+div.topic {
+    margin: 2em;
+}
+
+h1.section-subtitle, h2.section-subtitle, h3.section-subtitle,
+h4.section-subtitle, h5.section-subtitle, h6.section-subtitle {
+    margin-top: 0.4em;
+}
+
+h1.title {
+    text-align: center;
+}
+
+h2.subtitle {
+    text-align: center;
+}
+
+hr.docutils {
+    width: 75%;
+}
+
+img.align-left {
+    clear: left;
+}
+
+img.align-right {
+    clear: right;
+}
+
+ol.simple, ul.simple {
+    margin-bottom: 1em;
+}
+
+ol.arabic {
+    list-style: decimal;
+}
+
+ol.loweralpha {
+    list-style: lower-alpha;
+}
+
+ol.upperalpha {
+    list-style: upper-alpha;
+}
+
+ol.lowerroman {
+    list-style: lower-roman;
+}
+
+ol.upperroman {
+    list-style: upper-roman;
+}
+
+p.attribution {
+    text-align: right;
+    margin-left: 50%;
+}
+
+p.caption {
+    font-style: italic;
+}
+
+p.credits {
+    font-style: italic;
+    font-size: smaller;
+}
+
+p.label {
+    white-space: nowrap;
+}
+
+p.rubric {
+    font-weight: bold;
+    font-size: larger;
+    color: maroon;
+    text-align: center;
+}
+
+p.sidebar-title {
+    font-family: sans-serif;
+    font-weight: bold;
+    font-size: larger;
+}
+
+p.sidebar-subtitle {
+    font-family: sans-serif;
+    font-weight: bold;
+}
+
+p.topic-title {
+    font-weight: bold;
+}
+
+pre.address {
+    margin-bottom: 0;
+    margin-top: 0;
+    font-family: serif;
+    font-size: 100%;
+}
+
+pre.literal-block, pre.doctest-block {
+    margin-left: 2em;
+    margin-right: 2em;
+}
+
+span.classifier {
+    font-family: sans-serif;
+    font-style: oblique;
+}
+
+span.classifier-delimiter {
+    font-family: sans-serif;
+    font-weight: bold;
+}
+
+span.interpreted {
+    font-family: sans-serif;
+}
+
+span.option {
+    white-space: nowrap;
+}
+
+span.pre {
+    white-space: pre;
+}
+
+span.problematic {
+    color: red;
+}
+
+span.section-subtitle {
+    /* font-size relative to parent (h1..h6 element) */
+    font-size: 80%;
+}
+
+table.citation {
+    border-left: solid 1px gray;
+    margin-left: 1px;
+}
+
+table.docinfo {
+    margin: 2em 4em;
+}
+
+table.docutils {
+    margin-top: 0.5em;
+    margin-bottom: 0.5em;
+}
+
+table.footnote {
+    border-left: solid 1px black;
+    margin-left: 1px;
+}
+
+table.docutils td, table.docutils th,
+table.docinfo td, table.docinfo th {
+    padding-left: 0.5em;
+    padding-right: 0.5em;
+    vertical-align: top;
+}
+
+table.docutils th.field-name, table.docinfo th.docinfo-name {
+    font-weight: bold;
+    text-align: left;
+    white-space: nowrap;
+    padding-left: 0;
+}
+
+h1 tt.docutils, h2 tt.docutils, h3 tt.docutils,
+h4 tt.docutils, h5 tt.docutils, h6 tt.docutils {
+    font-size: 100%;
+}
+
+ul.auto-toc {
+    list-style-type: none;
+}