ref: 7ea363402c587f8368a7fff88c58afc3898e8b24
parent: edcf817efa9121d7b3cf29c124701c5d7d6f78f2
author: Werner Lemberg <[email protected]>
date: Thu Nov 27 14:38:31 EST 2014
* src/tools/docmaker/tohtml.py: Usee more CSS for index.
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
2014-11-27 Werner Lemberg <[email protected]>
+ * src/tools/docmaker/tohtml.py: Usee more CSS for index.
+
+2014-11-27 Werner Lemberg <[email protected]>
+
[docmaker] Replace `name' attribute of `<a>' with `id'.
* src/tools/docmaker/tohtml.py (HtmlFormatter::block_enter): Do it.
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -65,6 +65,12 @@
table.center { margin: auto; }
table.fill { width: 100%; }
+ table.index { margin: auto;
+ border: 0;
+ border-collapse: collapse;
+ border-spacing: 0; }
+ table.index tr { padding: 0; }
+ table.index td { padding: 0; }
table.index-toc-link { width: 100%; }
table.index-toc-link td.left { padding: 0 0.5em 0 0.5em;
font-size: 83%;
@@ -427,7 +433,7 @@
count = len( self.block_index )
rows = ( count + self.columns - 1 ) / self.columns
- print '<table class="center" border="0" cellpadding="0" cellspacing="0">'
+ print '<table class="index">'
for r in range( rows ):
line = "<tr>"
for c in range( self.columns ):