diff --git a/ChangeLog b/ChangeLog index 1ce87d6f3..d0a2b2553 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2014-11-27 Werner Lemberg + + * src/tools/docmaker/tohtml.py: Usee more CSS for index. + 2014-11-27 Werner Lemberg [docmaker] Replace `name' attribute of `' with `id'. diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py index 609f83223..3797ff8b4 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 '' + print '
' for r in range( rows ): line = "" for c in range( self.columns ):