Added the docutils default css to the repository

3 files changed, 664 insertions, 137 deletions

diff --git a/df.css b/df.css
new file mode 100644
index 0000000..afa58bb
--- /dev/null
+++ b/df.css
@@ -0,0 +1,400 @@
+.first {
+  margin-top: 0 }
+
+.last {
+  margin-bottom: 0 }
+
+a.toc-backref {
+  text-decoration: none ;
+  color: black }
+
+dd {
+  margin-bottom: 0.5em }
+
+div.abstract {
+  margin: 2em 5em }
+
+div.abstract p.topic-title {
+  font-weight: bold ;
+  text-align: center }
+
+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.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 }
+
+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.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 }
+
+div.footer, div.header {
+  font-size: smaller }
+
+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 }
+
+hr {
+  width: 75% }
+
+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.caption {
+  font-style: italic }
+
+p.credits {
+  font-style: italic ;
+  font-size: smaller }
+
+p.label {
+  white-space: nowrap }
+
+p.topic-title {
+  font-weight: bold }
+
+pre.address {
+  margin-bottom: 0 ;
+  margin-top: 0 ;
+  font-family: serif ;
+  font-size: 100% }
+
+pre.line-block {
+  font-family: serif ;
+  font-size: 100% }
+
+pre.literal-block, pre.doctest-block {
+  background-color: #eeeeee }
+
+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-argument {
+  font-style: italic }
+
+span.pre {
+  white-space: pre }
+
+span.problematic {
+  color: red }
+
+table {
+  margin-top: 0.5em ;
+  margin-bottom: 0.5em }
+
+table.citation {
+  border-left: solid thin gray ;
+  padding-left: 0.5ex }
+
+table.docinfo {
+  margin: 2em 4em }
+
+table.footnote {
+  border-left: solid thin black ;
+  padding-left: 0.5ex }
+
+td, th {
+  padding-left: 0.5em ;
+  padding-right: 0.5em ;
+  vertical-align: top }
+
+th.docinfo-name, th.field-name {
+  font-weight: bold ;
+  text-align: left ;
+  white-space: nowrap }
+
+h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
+  font-size: 100% }
+
+tt {
+  background-color: #eeeeee }
+
+ul.auto-toc {
+  list-style-type: none }
+
+
+/*
+Additional styles for "modern"-style of DocFactory.
+
+:Author: Gunnar Schwant
+:Contact: g.schwant@gmx.de
+*/
+
+.first {
+  font-size: 10pt }
+
+.last {
+  font-size: 10pt }
+
+a {
+  text-decoration: none }
+
+a.reference {
+  color: #00009F }
+
+a:hover {
+  background-color: #00009F ;
+  color: white }
+
+body {
+  font-family: arial,helvetica,univers ;
+  font-size: 10pt ;
+  padding-top: 0.6cm ;
+  margin-left:0.5cm ;
+  margin-right:0.5cm ;
+  margin-bottom:0.5cm }
+
+dd {
+  font-size: 10pt ;
+  padding-top: 0.1cm
+}
+
+dt {
+  font-size: 10pt ;
+  font-weight: bold ;
+  background-color: #6FC7FB ;
+  padding-left: 0.1cm ;
+  padding-top: 0.1cm ;
+  padding-bottom: 0.1cm }
+
+div.abstract {
+  font-size: 10pt }
+
+div.abstract p.topic-title {
+  font-size: 10pt }
+
+div.attention, div.caution, div.danger, div.error, div.hint,
+div.important, div.note, div.tip, div.warning {
+  font-size: 10pt }
+
+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, div.hint p.admonition-title, 
+div.important p.admonition-title, div.note p.admonition-title, 
+div.tip p.admonition-title {
+  margin-top: 0em ;
+  font-size: 12pt ;
+  font-family: arial,helvetica,univers }
+
+div.dedication {
+  font-size: 10pt }
+
+div.dedication p.topic-title {
+  font-size: 10pt }
+
+div.figure {
+  font-size: 10pt }
+
+div.footer, div.header {
+  font-size: 8pt }
+
+div.system-messages {
+  font-size: 10pt }
+
+div.system-messages h1 {
+  font-size: 12pt }
+
+div.system-message {
+  font-size: 10pt }
+
+div.system-message p.system-message-title {
+  font-size: 10pt }
+
+div.topic {
+  font-size: 10pt }
+
+h1, h2, h3, h4, h5, h6 {
+  padding-top: 0.5cm ;
+  page-break-after: avoid ;
+  font-family: arial,helvetica,univers }
+
+h1 {
+  font-size: 18pt }
+
+h1.title {
+  color: white ;
+  background-color: #00009F ;
+  padding-top: 0cm }
+
+h2 {
+  font-size: 16pt }
+
+h2.subtitle {
+  padding-top: 0cm }
+
+h3 {
+  font-size: 14pt }
+
+h4 {
+  font-size: 12pt }
+
+h5, h6 {
+  font-size: 10pt }
+
+hr {
+  width: 100%;
+  page-break-after: always }
+
+li {
+  padding-top: 1mm ;
+  padding-bottom: 1mm }
+
+ol.simple, ul.simple {
+  font-size: 10pt }
+
+ol.arabic {
+  font-size: 10pt }
+
+ol.loweralpha {
+  font-size: 10pt }
+
+ol.upperalpha {
+  font-size: 10pt }
+
+ol.lowerroman {
+  font-size: 10pt }
+
+ol.upperroman {
+  font-size: 10pt }
+
+p.caption {
+  font-size: 10pt }
+
+p.credits {
+  font-style: italic ;
+  font-size: 8pt }
+
+p.label {
+  font-size: 10pt }
+
+p.topic-title {
+  font-size: 10pt }
+
+pre.address {
+  font-family: arial,helvetica,univers ;
+  font-size: 10pt }
+
+pre.line-block {
+  font-size: 10pt }
+
+pre.literal-block, pre.doctest-block {
+  border-width: 1pt ;
+  border-style: solid ;
+  border-color: #999999 ;
+  color: #0000C0 ;
+  background-color: #ffffe0 ;
+  font-size: 9pt }
+
+span.classifier {
+  font-size: 10pt ;
+  font-family: arial,helvetica,univers }
+
+span.classifier-delimiter {
+  font-size: 10pt ;
+  font-family: arial,helvetica,univers }
+
+span.field-argument {
+  font-size: 10pt }
+
+span.interpreted {
+  font-size: 10pt ;
+  font-family: arial,helvetica,univers }
+
+span.option-argument {
+  font-size: 10pt }
+
+span.problematic {
+  font-size: 10pt }
+
+table {
+  font-size: 10pt ;
+  border-collapse: collapse ;
+  border-width: 1.5pt ;
+  border-color: #003366 }
+
+table.citation {
+  font-size: 10pt }
+
+table.docinfo {
+  font-size: 10pt }
+
+table.footnote {
+  font-size: 8pt ;
+  text-align: left }
+
+table.table {
+  width: 100% }
+
+th {
+  border-width: 1.5pt }
+
+td {
+  border-width: 1pt }
+
+td, th {
+  font-size: 10pt ;
+  border-style: thin ;
+  border-color: #003366 }
+
+td.docinfo-name, th.field-name {
+  font-size: 10pt }
+
+h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
+  font-size: 10pt }
diff --git a/plac/Makefile b/plac/Makefile
index 5c93cf0..3e270b1 100644
--- a/plac/Makefile
+++ b/plac/Makefile
@@ -1,4 +1,4 @@
 doc/plac.pdf: doc/plac.txt
-	cd doc; rst2pdf plac.txt; rst2html plac.txt plac.html
+	cd doc; rst2pdf plac.txt; rst2html --stylesheet=~/gcode/df.css plac.txt plac.html
 upload:
 	python setup.py register sdist upload 
diff --git a/plac/doc/plac.html b/plac/doc/plac.html
index 77b998a..71ef826 100644
--- a/plac/doc/plac.html
+++ b/plac/doc/plac.html
@@ -8,51 +8,19 @@
 <meta name="author" content="Michele Simionato" />
 <style type="text/css">
 
-/*
-:Author: David Goodger (goodger@python.org)
-:Id: $Id: html4css1.css 5196 2007-06-03 20:25:28Z wiemann $
-:Copyright: This stylesheet has been placed in the public domain.
-
-Default cascading style sheet for the HTML output of Docutils.
-
-See http://docutils.sf.net/docs/howto/html-stylesheets.html for how to
-customize this style sheet.
-*/
-
-/* 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 }
+  margin-top: 0 }
 
-.hidden {
-  display: none }
+.last {
+  margin-bottom: 0 }
 
 a.toc-backref {
   text-decoration: none ;
   color: black }
 
-blockquote.epigraph {
-  margin: 2em 5em ; }
-
-dl.docutils dd {
+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 }
 
@@ -60,18 +28,12 @@ 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 {
+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 {
@@ -79,14 +41,10 @@ div.warning p.admonition-title {
   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.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.dedication {
   margin: 2em 5em ;
@@ -98,36 +56,11 @@ div.dedication p.topic-title {
   font-style: normal }
 
 div.figure {
-  margin-left: 2em ;
-  margin-right: 2em }
+  margin-left: 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 }
 
@@ -145,25 +78,9 @@ div.system-message p.system-message-title {
 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 {
+hr {
   width: 75% }
 
-img.align-left {
-  clear: left }
-
-img.align-right {
-  clear: right }
-
 ol.simple, ul.simple {
   margin-bottom: 1em }
 
@@ -182,10 +99,6 @@ ol.lowerroman {
 ol.upperroman {
   list-style: upper-roman }
 
-p.attribution {
-  text-align: right ;
-  margin-left: 50% }
-
 p.caption {
   font-style: italic }
 
@@ -196,21 +109,6 @@ p.credits {
 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 }
 
@@ -220,9 +118,12 @@ pre.address {
   font-family: serif ;
   font-size: 100% }
 
+pre.line-block {
+  font-family: serif ;
+  font-size: 100% }
+
 pre.literal-block, pre.doctest-block {
-  margin-left: 2em ;
-  margin-right: 2em }
+  background-color: #eeeeee }
 
 span.classifier {
   font-family: sans-serif ;
@@ -235,8 +136,8 @@ span.classifier-delimiter {
 span.interpreted {
   font-family: sans-serif }
 
-span.option {
-  white-space: nowrap }
+span.option-argument {
+  font-style: italic }
 
 span.pre {
   white-space: pre }
@@ -244,44 +145,270 @@ span.pre {
 span.problematic {
   color: red }
 
-span.section-subtitle {
-  /* font-size relative to parent (h1..h6 element) */
-  font-size: 80% }
+table {
+  margin-top: 0.5em ;
+  margin-bottom: 0.5em }
 
 table.citation {
-  border-left: solid 1px gray;
-  margin-left: 1px }
+  border-left: solid thin gray ;
+  padding-left: 0.5ex }
 
 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 }
+  border-left: solid thin black ;
+  padding-left: 0.5ex }
 
-table.docutils td, table.docutils th,
-table.docinfo td, table.docinfo th {
+td, th {
   padding-left: 0.5em ;
   padding-right: 0.5em ;
   vertical-align: top }
 
-table.docutils th.field-name, table.docinfo th.docinfo-name {
+th.docinfo-name, th.field-name {
   font-weight: bold ;
   text-align: left ;
-  white-space: nowrap ;
-  padding-left: 0 }
+  white-space: nowrap }
 
-h1 tt.docutils, h2 tt.docutils, h3 tt.docutils,
-h4 tt.docutils, h5 tt.docutils, h6 tt.docutils {
+h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
   font-size: 100% }
 
+tt {
+  background-color: #eeeeee }
+
 ul.auto-toc {
   list-style-type: none }
 
+
+/*
+Additional styles for "modern"-style of DocFactory.
+
+:Author: Gunnar Schwant
+:Contact: g.schwant@gmx.de
+*/
+
+.first {
+  font-size: 10pt }
+
+.last {
+  font-size: 10pt }
+
+a {
+  text-decoration: none }
+
+a.reference {
+  color: #00009F }
+
+a:hover {
+  background-color: #00009F ;
+  color: white }
+
+body {
+  font-family: arial,helvetica,univers ;
+  font-size: 10pt ;
+  padding-top: 0.6cm ;
+  margin-left:0.5cm ;
+  margin-right:0.5cm ;
+  margin-bottom:0.5cm }
+
+dd {
+  font-size: 10pt ;
+  padding-top: 0.1cm
+}
+
+dt {
+  font-size: 10pt ;
+  font-weight: bold ;
+  background-color: #6FC7FB ;
+  padding-left: 0.1cm ;
+  padding-top: 0.1cm ;
+  padding-bottom: 0.1cm }
+
+div.abstract {
+  font-size: 10pt }
+
+div.abstract p.topic-title {
+  font-size: 10pt }
+
+div.attention, div.caution, div.danger, div.error, div.hint,
+div.important, div.note, div.tip, div.warning {
+  font-size: 10pt }
+
+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, div.hint p.admonition-title, 
+div.important p.admonition-title, div.note p.admonition-title, 
+div.tip p.admonition-title {
+  margin-top: 0em ;
+  font-size: 12pt ;
+  font-family: arial,helvetica,univers }
+
+div.dedication {
+  font-size: 10pt }
+
+div.dedication p.topic-title {
+  font-size: 10pt }
+
+div.figure {
+  font-size: 10pt }
+
+div.footer, div.header {
+  font-size: 8pt }
+
+div.system-messages {
+  font-size: 10pt }
+
+div.system-messages h1 {
+  font-size: 12pt }
+
+div.system-message {
+  font-size: 10pt }
+
+div.system-message p.system-message-title {
+  font-size: 10pt }
+
+div.topic {
+  font-size: 10pt }
+
+h1, h2, h3, h4, h5, h6 {
+  padding-top: 0.5cm ;
+  page-break-after: avoid ;
+  font-family: arial,helvetica,univers }
+
+h1 {
+  font-size: 18pt }
+
+h1.title {
+  color: white ;
+  background-color: #00009F ;
+  padding-top: 0cm }
+
+h2 {
+  font-size: 16pt }
+
+h2.subtitle {
+  padding-top: 0cm }
+
+h3 {
+  font-size: 14pt }
+
+h4 {
+  font-size: 12pt }
+
+h5, h6 {
+  font-size: 10pt }
+
+hr {
+  width: 100%;
+  page-break-after: always }
+
+li {
+  padding-top: 1mm ;
+  padding-bottom: 1mm }
+
+ol.simple, ul.simple {
+  font-size: 10pt }
+
+ol.arabic {
+  font-size: 10pt }
+
+ol.loweralpha {
+  font-size: 10pt }
+
+ol.upperalpha {
+  font-size: 10pt }
+
+ol.lowerroman {
+  font-size: 10pt }
+
+ol.upperroman {
+  font-size: 10pt }
+
+p.caption {
+  font-size: 10pt }
+
+p.credits {
+  font-style: italic ;
+  font-size: 8pt }
+
+p.label {
+  font-size: 10pt }
+
+p.topic-title {
+  font-size: 10pt }
+
+pre.address {
+  font-family: arial,helvetica,univers ;
+  font-size: 10pt }
+
+pre.line-block {
+  font-size: 10pt }
+
+pre.literal-block, pre.doctest-block {
+  border-width: 1pt ;
+  border-style: solid ;
+  border-color: #999999 ;
+  color: #0000C0 ;
+  background-color: #ffffe0 ;
+  font-size: 9pt }
+
+span.classifier {
+  font-size: 10pt ;
+  font-family: arial,helvetica,univers }
+
+span.classifier-delimiter {
+  font-size: 10pt ;
+  font-family: arial,helvetica,univers }
+
+span.field-argument {
+  font-size: 10pt }
+
+span.interpreted {
+  font-size: 10pt ;
+  font-family: arial,helvetica,univers }
+
+span.option-argument {
+  font-size: 10pt }
+
+span.problematic {
+  font-size: 10pt }
+
+table {
+  font-size: 10pt ;
+  border-collapse: collapse ;
+  border-width: 1.5pt ;
+  border-color: #003366 }
+
+table.citation {
+  font-size: 10pt }
+
+table.docinfo {
+  font-size: 10pt }
+
+table.footnote {
+  font-size: 8pt ;
+  text-align: left }
+
+table.table {
+  width: 100% }
+
+th {
+  border-width: 1.5pt }
+
+td {
+  border-width: 1pt }
+
+td, th {
+  font-size: 10pt ;
+  border-style: thin ;
+  border-color: #003366 }
+
+td.docinfo-name, th.field-name {
+  font-size: 10pt }
+
+h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
+  font-size: 10pt }
+
 </style>
 </head>
 <body>