Fix stupid style bug in a second place.

freddrake · freddrake · commit 292f5970ab97 · 2003-09-30T15:43:20.000Z
diff --git a/Doc/html/style.css b/Doc/html/style.css
@@ -82,7 +82,7 @@ div.warning .label      { font-family: sans-serif;
 
 div.note                { background-color: #fffaf0;
                           border: thin solid black;
-                          padding: 1em 1em 0em 1em;
+                          padding: 1em;
                           margin-left: 2em;
                           margin-right: 2em; }
 
