Commit a5ad26afea90e89946a37bffe2c1094d99697a53
2014-11-27T10:52:24
* src/tools/docmaker/tohtml.py: Replace <font> with CSS.
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 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114
diff --git a/ChangeLog b/ChangeLog
index cb04d01..4fd7864 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
2014-11-27 Werner Lemberg <wl@gnu.org>
+ * src/tools/docmaker/tohtml.py: Replace <font> with CSS.
+
+2014-11-27 Werner Lemberg <wl@gnu.org>
+
* src/tools/docmaker/tohtml.py: Center <table> with CSS.
2014-11-27 Werner Lemberg <wl@gnu.org>
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index e018cd7..5bbf6e9 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -64,6 +64,10 @@ html_header_2 = """\
td { padding: 0 0.5em 0 0.5em; }
td.left { padding: 0 0.5em 0 0.5em;
text-align: left; }
+ td.small { padding: 0 0.5em 0 0.5em;
+ font-size: 83% }
+ td.tiny { padding: 0 0.5em 0 0.5em;
+ font-size: 69% }
ul.empty { list-style-type: none; }
</style>
@@ -72,33 +76,33 @@ html_header_2 = """\
"""
html_header_3 = """
-<table class="center"><tr><td><font size="-1">[<a href="\
+<table class="center"><tr><td class="small">[<a href="\
"""
html_header_3i = """
<table class="center"><tr><td width="100%"></td>
-<td><font size="-1">[<a href="\
+<td class="small">[<a href="\
"""
html_header_4 = """\
-">Index</a>]</font></td>
+">Index</a>]</td>
<td width="100%"></td>
-<td><font size="-1">[<a href="\
+<td class="small">[<a href="\
"""
html_header_5 = """\
-">TOC</a>]</font></td></tr></table>
+">TOC</a>]</td></tr></table>
<h1>\
"""
html_header_5t = """\
-">Index</a>]</font></td>
+">Index</a>]</td>
<td width="100%"></td></tr></table>
<h1>\
"""
html_header_6 = """\
- API Reference</h1></center>
+ API Reference</h1>
"""
@@ -125,15 +129,15 @@ block_header = '<table class="center" width="75%"><tr><td>'
block_footer_start = """\
</td></tr></table>
<hr width="75%">
-<table class="center" width="75%"><tr><td><font size="-2">[<a href="\
+<table class="center" width="75%"><tr><td class="small">[<a href="\
"""
block_footer_middle = """\
-">Index</a>]</font></td>
+">Index</a>]</td>
<td width="100%"></td>
-<td><font size="-2">[<a href="\
+<td class="tiny">[<a href="\
"""
block_footer_end = """\
-">TOC</a>]</font></td></tr></table>
+">TOC</a>]</td></tr></table>
"""
# Description header/footer.
@@ -162,19 +166,19 @@ chapter_footer = '</li></ul></td></tr></table>'
index_footer_start = """\
<hr>
<table><tr><td width="100%"></td>
-<td><font size="-2">[<a href="\
+<td class="tiny">[<a href="\
"""
index_footer_end = """\
-">TOC</a>]</font></td></tr></table>
+">TOC</a>]</td></tr></table>
"""
# TOC footer.
toc_footer_start = """\
<hr>
-<table><tr><td><font size="-2">[<a href="\
+<table><tr><td class="tiny">[<a href="\
"""
toc_footer_end = """\
-">Index</a>]</font></td>
+">Index</a>]</td>
<td width="100%"></td>
</tr></table>
"""