diff options
author | Ulrich Müller <ulm@gentoo.org> | 2019-12-26 20:24:16 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2019-12-26 21:40:27 +0100 |
commit | 91ee1bae83604a11bd5b8d7a04ab978c88040184 (patch) | |
tree | 80cd9f4251bd833dd0b57f81e85e81d4d3608449 /devmanual.css | |
parent | Replace <path> by <c> throughout. (diff) | |
download | devmanual-91ee1bae83604a11bd5b8d7a04ab978c88040184.tar.gz devmanual-91ee1bae83604a11bd5b8d7a04ab978c88040184.tar.bz2 devmanual-91ee1bae83604a11bd5b8d7a04ab978c88040184.zip |
More conventional syntax of definition lists.
Definition lists required only "p" elements as children of "dd".
Change to a more conventional syntax where each "dt" element can be
followed by one _or_more_ "dd" elements. This agrees with both
GuideXML and HTML.
Vertical spacing for "dd" should really be done in the CSS style
sheet, instead of complicated XSL processing.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'devmanual.css')
-rw-r--r-- | devmanual.css | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/devmanual.css b/devmanual.css index 1507558..414ad1e 100644 --- a/devmanual.css +++ b/devmanual.css @@ -139,11 +139,8 @@ dt { font-weight: bold; } -dd p.first { +dd { margin-top: 0.2em; -} - -dd p.last { margin-bottom: 0.2em; } |