diff options
Diffstat (limited to 'plac/df.css')
-rw-r--r-- | plac/df.css | 400 |
1 files changed, 400 insertions, 0 deletions
diff --git a/plac/df.css b/plac/df.css new file mode 100644 index 0000000..afa58bb --- /dev/null +++ b/plac/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 } |