diff options
Diffstat (limited to 'example.style.css')
-rw-r--r-- | example.style.css | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/example.style.css b/example.style.css index 38890bfc..50d6668d 100644 --- a/example.style.css +++ b/example.style.css @@ -1,12 +1,17 @@ -/* $Id: example.style.css,v 1.29 2010/12/17 01:02:00 kristaps Exp $ */ +/* $Id: example.style.css,v 1.30 2010/12/17 08:17:40 kristaps Exp $ */ html { min-width: 580px; width: 580px; } body { font-family: monospace; } /* Preamble structure. */ -table.footer { } /* Document footer. */ -table.header { } /* Document header. */ +table.foot { width: 100%; } /* Document footer. */ +td.foot-date { width: 50%; } /* Document footer: date. */ +td.foot-os { width: 50%; text-align: right; } /* Document footer: OS. */ +table.head { width: 100%; } /* Document header. */ +td.head-ltitle { width: 10%; } /* Document header: left-title. */ +td.head-vol { width: 80%; text-align: center; } /* Document header: volume. */ +td.head-rtitle { width: 10%; text-align: right; } /* Document header: right-title. */ /* Sections. */ @@ -20,6 +25,8 @@ table.synopsis td { vertical-align: top; } /* SYNOPSIS section table. */ /* Vertical spacing. */ p { } /* Paragraph: Pp, Lp. */ +blockquote { margin-top: 0px; margin-bottom: 0px; } +table { margin-top: 0px; margin-bottom: 0px; } /* General font modes. */ |