ref: 3bb9702387b3614045ce236988176596704e1ffb
parent: a31f971577295e2b9bbdc0cd6561610a0f905057
author: Werner Lemberg <[email protected]>
date: Sat Nov 29 11:12:37 EST 2014
[docmaker] Add `top' links after blocks. * src/tools/docmaker/tohtml.py (block_footer_middle): Implement it.
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,8 +1,14 @@
2014-11-29 Werner Lemberg <[email protected]>
+ [docmaker] Add `top' links after blocks.
+
+ * src/tools/docmaker/tohtml.py (block_footer_middle): Implement it.
+
+2014-11-29 Werner Lemberg <[email protected]>
+
* src/tools/docmaker/tohtml.py: Improve CSS for fields.
- Make fields align horizotnally relative to full line width.
+ Make fields align horizontally relative to full line width.
2014-11-29 Werner Lemberg <[email protected]>
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -98,6 +98,9 @@
table.index-toc-link td.left { padding: 0 0.5em 0 0.5em;font-size: 83%;
text-align: left; }
+ table.index-toc-link td.middle { padding: 0 0.5em 0 0.5em;+ font-size: 83%;
+ text-align: center; }
table.index-toc-link td.right { padding: 0 0.5em 0 0.5em;font-size: 83%;
text-align: right; }
@@ -104,7 +107,7 @@
table.synopsis { margin: auto;border: 0;
border-collapse: separate;
- border-spacing: 2em 1ex; }
+ border-spacing: 2em 0.6ex; }
table.synopsis tr { padding: 0; } table.synopsis td { padding: 0; }@@ -172,6 +175,7 @@
"""
block_footer_middle = """\
">Index</a>]</td>
+<td class="middle">[<a href="#">Top</a>]</td>
<td class="right">[<a href="\
"""
block_footer_end = """\