Commit 434bc695739e9c679bfc09c0f9637930146ee35c
2014-11-29T23:12:55
* src/tools/docmaker/tohtml.py: Improve CSS for vertical spacing.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55
diff --git a/ChangeLog b/ChangeLog
index e3e6449..cbd25e6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,8 +1,12 @@
2014-11-29 Werner Lemberg <wl@gnu.org>
- [docmaker] Improve HTML code for table of contents..
+ * src/tools/docmaker/tohtml.py: Improve CSS for vertical spacing.
- * src/toold/docmaker/tohtml.py: Introduce a new table class `toc',
+2014-11-29 Werner Lemberg <wl@gnu.org>
+
+ [docmaker] Improve HTML code for table of contents.
+
+ * src/tools/docmaker/tohtml.py: Introduce a new table class `toc',
together with proper CSS.
2014-11-29 Werner Lemberg <wl@gnu.org>
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index 7d32cec..cd17045 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -83,10 +83,11 @@ html_header_2 = """\
text-align: right;
width: 30%;
vertical-align: baseline;
- padding: 0 1em 0 0; }
+ padding: 1ex 1em 1ex 0; }
table.fields td.desc { vertical-align: baseline;
- padding: 0 0 0 1em; }
- table.fields td.desc p { margin: 1.5ex 0 1.5ex 0; }
+ padding: 1ex 0 1ex 1em; }
+ table.fields td.desc p:first-child { margin: 0; }
+ table.fields td.desc p { margin: 1.5ex 0 0 0; }
table.index { margin: 6ex auto 6ex auto;
border: 0;
border-collapse: separate;
@@ -115,11 +116,13 @@ html_header_2 = """\
table.toc td.link { width: 30%;
text-align: right;
vertical-align: baseline;
- padding: 0 1em 0 0; }
+ padding: 1ex 1em 1ex 0; }
table.toc td.desc { vertical-align: baseline;
- padding: 0 0 0 1em;
+ padding: 1ex 0 1ex 1em;
text-align: left; }
- table.toc td.desc p { margin: 1.5ex 0 1.5ex 0;
+ table.toc td.desc p:first-child { margin: 0;
+ text-align: left; }
+ table.toc td.desc p { margin: 1.5ex 0 0 0;
text-align: left; }
</style>