diff options
Diffstat (limited to 'doc/style.css')
| -rw-r--r-- | doc/style.css | 24 |
1 files changed, 17 insertions, 7 deletions
diff --git a/doc/style.css b/doc/style.css index 859273f..8015165 100644 --- a/doc/style.css +++ b/doc/style.css @@ -38,24 +38,34 @@ BODY { DIV.book, DIV.refentry, -DIV.chapter { +DIV.chapter, +DIV.index, +DIV.footer { font-family: Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif; font-size: 9.5pt; line-height: 150%; + margin-right: 1em; } -DIV.variablelist TABLE { - font-size: 9.5pt; - line-height: 150%; +DIV.book, +DIV.footer { + margin-left: 1em; } DIV.refentry, -DIV.chapter { +DIV.chapter, +DIV.index { margin-left: 3em; - margin-right: 1em; } -DIV.refsect2 { +DIV.variablelist TABLE { + font-size: 9.5pt; + line-height: 150%; +} + +DIV.refsect1, +DIV.refsect2, +DIV.refsynopsisdiv { margin-bottom: 3em !important; } |