From c504c20e5a7d60f4e71c16313afd3d88aa9ee2df Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Tue, 30 Sep 2003 15:40:33 +0000 Subject: [PATCH] Fix stupid style bug. --- Doc/html/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/html/style.css b/Doc/html/style.css index 3d6d22182c..161b0e8295 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -72,7 +72,7 @@ var { font-family: times, serif; div.warning { background-color: #fffaf0; border: thin solid black; - padding: 1em 1em 0em 1em; + padding: 1em; margin-left: 2em; margin-right: 2em; } -- 2.50.1