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

freddrake · freddrake · commit 2e7cbc2cda0f · 2000-06-30T15:30:33.000Z
as nice. ;)
diff --git 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>
