--- 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;
+}