From 339d830efe13fe4f6e500a4225283c687b19846d Mon Sep 17 00:00:00 2001
From: Werner Lemberg <wl@gnu.org>
Date: Thu, 27 Nov 2014 12:03:17 +0100
Subject: [PATCH] [docmaker] Typos.

---
 src/tools/docmaker/tohtml.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index 5bbf6e93c..2b31371f7 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -65,9 +65,9 @@ html_header_2 = """\
   td.left { padding: 0 0.5em 0 0.5em;
             text-align: left; }
   td.small { padding: 0 0.5em 0 0.5em;
-             font-size: 83% }
+             font-size: 83%; }
   td.tiny { padding: 0 0.5em 0 0.5em;
-            font-size: 69% }
+            font-size: 69%; }
 
   ul.empty { list-style-type: none; }
 </style>
@@ -134,7 +134,7 @@ block_footer_start  = """\
 block_footer_middle = """\
 ">Index</a>]</td>
 <td width="100%"></td>
-<td class="tiny">[<a href="\
+<td class="small">[<a href="\
 """
 block_footer_end    = """\
 ">TOC</a>]</td></tr></table>