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 3e77cb5..68a5677 100644
--- 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>