Fix an icon width; a "32" became a "3" somehow, and that did not look

as nice. ;)

diff --git a/Doc/html/index.html.in b/Doc/html/index.html.in
index 3e77cb5fcb60ba635f1dd1b93927682da77f9654..68a5677b4c2d5ff077c5b2f61d5571436c81599d 100644 (file)
--- a/Doc/html/index.html.in
+++ b/Doc/html/index.html.in
@@ -10,7 +10,7 @@
        <div class="navigation">
        <table align="center" width="100%" cellpadding="0" cellspacing="2">
        <tr>
-         <td><img width="3" height="32" align="bottom" border="0" alt=""
+         <td><img width="32" height="32" align="bottom" border="0" alt=""
              src="icons/blank.gif"></td>
          <td><img width="32" height="32" align="bottom" border="0" alt=""
              src="icons/blank.gif"></td>