* src/tools/docmaker/tohtml.py: Improve CSS for vertical spacing.

This commit is contained in:
Werner Lemberg 2014-11-29 23:12:55 +01:00
parent 51987eaf39
commit 434bc69573
2 changed files with 15 additions and 8 deletions

View File

@ -1,8 +1,12 @@
2014-11-29 Werner Lemberg <wl@gnu.org> 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. together with proper CSS.
2014-11-29 Werner Lemberg <wl@gnu.org> 2014-11-29 Werner Lemberg <wl@gnu.org>

View File

@ -83,10 +83,11 @@ html_header_2 = """\
text-align: right; text-align: right;
width: 30%; width: 30%;
vertical-align: baseline; vertical-align: baseline;
padding: 0 1em 0 0; } padding: 1ex 1em 1ex 0; }
table.fields td.desc { vertical-align: baseline; table.fields td.desc { vertical-align: baseline;
padding: 0 0 0 1em; } padding: 1ex 0 1ex 1em; }
table.fields td.desc p { margin: 1.5ex 0 1.5ex 0; } 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; table.index { margin: 6ex auto 6ex auto;
border: 0; border: 0;
border-collapse: separate; border-collapse: separate;
@ -115,11 +116,13 @@ html_header_2 = """\
table.toc td.link { width: 30%; table.toc td.link { width: 30%;
text-align: right; text-align: right;
vertical-align: baseline; vertical-align: baseline;
padding: 0 1em 0 0; } padding: 1ex 1em 1ex 0; }
table.toc td.desc { vertical-align: baseline; table.toc td.desc { vertical-align: baseline;
padding: 0 0 0 1em; padding: 1ex 0 1ex 1em;
text-align: left; } 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; } text-align: left; }
</style> </style>