Commit 46d4dc86e1036d9a8852e533c80b98c5123ce4c4

Werner Lemberg 2014-11-28T05:49:56

[docmaker] Replace empty `<td>' with CSS.. * src/tools/docmaker/tohtml.py (HtmlFormatter::section_enter): Do it.

diff --git a/ChangeLog b/ChangeLog
index dcf36ec..2baff98 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,12 @@
 2014-11-27  Werner Lemberg  <wl@gnu.org>
 
+	[docmaker] Replace empty `<td>' with CSS..
+
+	* src/tools/docmaker/tohtml.py (HtmlFormatter::section_enter): Do
+	it.
+
+2014-11-27  Werner Lemberg  <wl@gnu.org>
+
 	[docmaker] Replace some `<table>' tags with `<h4>' and `<div>'.
 
 	* src/tools/docmaker/tohtml.py (marker_*): Use `<h4>'.
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index cf702e7..4e18a04 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -78,8 +78,8 @@ html_header_2 = """\
   table.center { margin: auto; }
   table.index { margin: auto;
                 border: 0;
-                border-collapse: collapse;
-                border-spacing: 0; }
+                border-collapse: separate;
+                border-spacing: 1em 0.3ex; }
   table.index tr { padding: 0; }
   table.index td { padding: 0; }
   table.index-toc-link { width: 100%; }
@@ -92,7 +92,7 @@ html_header_2 = """\
   table.synopsis { margin: auto;
                    border: 0;
                    border-collapse: separate;
-                   border-spacing: 1em 1ex; }
+                   border-spacing: 2em 1ex; }
   table.synopsis tr { padding: 0; }
   table.synopsis td { padding: 0; }
 
@@ -550,7 +550,7 @@ class  HtmlFormatter( Formatter ):
                 line = "<tr>"
                 for c in range( columns ):
                     i = r + c * rows
-                    line = line + '<td></td><td>'
+                    line = line + '<td>'
                     if i < count:
                         name = section.block_names[i]
                         line = ( line + '<a href="#' + name + '">'