aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2019-12-26 20:24:16 +0100
committerUlrich Müller <ulm@gentoo.org>2019-12-26 21:40:27 +0100
commit91ee1bae83604a11bd5b8d7a04ab978c88040184 (patch)
tree80cd9f4251bd833dd0b57f81e85e81d4d3608449 /devmanual.css
parentReplace <path> by <c> throughout. (diff)
downloaddevmanual-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.css5
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;
}