Fix stupid style bug.
diff --git a/Doc/html/style.css b/Doc/html/style.css
index 3d6d221..161b0e8 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -72,7 +72,7 @@
 
 div.warning             { background-color: #fffaf0;
                           border: thin solid black;
-                          padding: 1em 1em 0em 1em;
+                          padding: 1em;
                           margin-left: 2em;
                           margin-right: 2em; }