Commit 7ea363402c587f8368a7fff88c58afc3898e8b24
2014-11-27T19:38:31
* src/tools/docmaker/tohtml.py: Usee more CSS for index.
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
diff --git a/ChangeLog b/ChangeLog
index 1ce87d6..d0a2b25 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
2014-11-27 Werner Lemberg <wl@gnu.org>
+ * src/tools/docmaker/tohtml.py: Usee more CSS for index.
+
+2014-11-27 Werner Lemberg <wl@gnu.org>
+
[docmaker] Replace `name' attribute of `<a>' with `id'.
* src/tools/docmaker/tohtml.py (HtmlFormatter::block_enter): Do it.
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index 609f832..3797ff8 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -65,6 +65,12 @@ html_header_2 = """\
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 @@ class HtmlFormatter( Formatter ):
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 ):