diff --git a/Doc/html/style.css b/Doc/html/style.css
index 161b0e8295c..f5857447020 100644
--- 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; }