Gentoo Archives: gentoo-commits

From: "Ulrich Müller" <ulm@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/devmanual:master commit in: /
Date: Wed, 22 Jan 2020 18:24:06
Message-Id: 1579716447.dc3fdda90a01bde7de5bfb409c4a46a4486e9e7a.ulm@gentoo
1 commit: dc3fdda90a01bde7de5bfb409c4a46a4486e9e7a
2 Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
3 AuthorDate: Wed Jan 22 18:07:27 2020 +0000
4 Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
5 CommitDate: Wed Jan 22 18:07:27 2020 +0000
6 URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=dc3fdda9
7
8 devmanual.css: Indent <dd> in definition lists.
9
10 The Bootstrap layout indents <li> but leaves <dd> flush-left (why?).
11 Add a 2em left margin for <dd> so it will be indented.
12
13 Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
14
15 devmanual.css | 1 +
16 1 file changed, 1 insertion(+)
17
18 diff --git a/devmanual.css b/devmanual.css
19 index 81e78de..41c6beb 100644
20 --- a/devmanual.css
21 +++ b/devmanual.css
22 @@ -10,6 +10,7 @@ dt {
23 dd {
24 margin-top: 0.2em;
25 margin-bottom: 0.2em;
26 + margin-left: 2em;
27 }
28
29 div.figure, div.figure p {