From 222d77f1d5049da7ae7750ce19f63c21c231c567 Mon Sep 17 00:00:00 2001 From: Ingo Schwarze Date: Thu, 19 Jan 2017 14:29:53 +0000 Subject: [PATCH 1/1] Clean up and fix rules for header and footer lines. In particular, horizontal alignment was missing. --- mandoc.css | 35 ++++++++++++++++++++++------------- 1 file changed, 22 insertions(+), 13 deletions(-) diff --git a/mandoc.css b/mandoc.css index 5c4e930a..8e9a32cb 100644 --- a/mandoc.css +++ b/mandoc.css @@ -1,4 +1,4 @@ -/* $Id: mandoc.css,v 1.3 2017/01/19 13:35:02 schwarze Exp $ */ +/* $Id: mandoc.css,v 1.4 2017/01/19 14:29:53 schwarze Exp $ */ /* * Standard style sheet for mandoc(1) -Thtml and man.cgi(8). */ @@ -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). */ -- 2.47.1