diff options
| author | Ingo Schwarze <schwarze@openbsd.org> | 2017-01-19 14:29:53 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-01-19 14:29:53 +0000 |
| commit | 17fa3ce7264c77c2352e413e73bd23e6f8bc7c47 (patch) | |
| tree | c70823a7a733a6c80f71b078e153423d9305f4c4 | |
| parent | f2de92e7f42f6d51626705767846ad79183d961c (diff) | |
| download | mandoc-17fa3ce7264c77c2352e413e73bd23e6f8bc7c47.tar.gz | |
Clean up and fix rules for header and footer lines.
In particular, horizontal alignment was missing.
| -rw-r--r-- | mandoc.css | 33 |
1 files changed, 21 insertions, 12 deletions
@@ -7,6 +7,10 @@ html { max-width: 100ex; } body { font-family: Helvetica,Arial,sans-serif; } +table { width: 100%; + margin-top: 0ex; + margin-bottom: 0ex; } +td { vertical-align: top; } /* Search form and search results. */ @@ -20,12 +24,27 @@ div.results { margin-top: 1em; margin-left: 2em; font-size: smaller; } +/* Header and footer lines. */ + +table.head { border-bottom: 1px dotted #808080; + margin-bottom: 1em; + font-size: smaller; } +td.head-vol { text-align: center; } +td.head-rtitle { + text-align: right; } + +table.foot { border-top: 1px dotted #808080; + margin-top: 1em; + font-size: smaller; } +td.foot-date { width: 50%; } +td.foot-os { width: 50%; + text-align: right; } + h1 { margin-bottom: 1ex; font-size: 110% } div.section > h1 { margin-left: -4ex; } /* Section header (Sh, SH). */ h2 { margin-bottom: 1ex; font-size: 105%; margin-left: -2ex; } /* Sub-section header (Ss, SS). */ -table { width: 100%; margin-top: 0ex; margin-bottom: 0ex; } /* All tables. */ -td { vertical-align: top; } /* All table cells. */ + p { } /* Paragraph: Pp, Lp. */ blockquote { margin-left: 5ex; margin-top: 0ex; margin-bottom: 0ex; } /* D1. */ div.section { margin-bottom: 2ex; margin-left: 5ex; } /* Sections (Sh, SH). */ @@ -33,16 +52,6 @@ div.subsection { } /* Sub-sections (Ss, SS). */ table.synopsis { } /* SYNOPSIS section table. */ div.spacer { margin: 1em 0; } -/* Preamble structure. */ - -table.foot { font-size: smaller; margin-top: 1em; border-top: 1px dotted #dddddd; } /* Document footer. */ -td.foot-date { width: 50%; } /* Document footer: date. */ -td.foot-os { width: 50%; } /* Document footer: OS/source. */ -table.head { font-size: smaller; margin-bottom: 1em; border-bottom: 1px dotted #dddddd; } /* Document header. */ -td.head-ltitle { width: 10%; } /* Document header: left-title. */ -td.head-vol { width: 80%; } /* Document header: volume. */ -td.head-rtitle { width: 10%; } /* Document header: right-title. */ - /* General font modes. */ i { } /* Italic: BI, IB, I, (implicit). */ |