diff --git a/ChangeLog b/ChangeLog index b5e1c3161..e7da604f1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,8 +1,14 @@ +2014-11-29 Werner Lemberg + + [docmaker] Add `top' links after blocks. + + * src/tools/docmaker/tohtml.py (block_footer_middle): Implement it. + 2014-11-29 Werner Lemberg * 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 diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py index 819b4cac1..74b8e0c7e 100644 --- a/src/tools/docmaker/tohtml.py +++ b/src/tools/docmaker/tohtml.py @@ -98,13 +98,16 @@ html_header_2 = """\ 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; } 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_start = """\ """ block_footer_middle = """\ ">Index] +[Top] [