try to fix up the padding inside a notice environment so they fit in a

little better, with similar spacing characteristics with the seealso
environment

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 7cc49478ee9a133eb8e1107a46406c5b75edf1b7..3d6d22182cc019b5b8961b7c7eb99b0b4dc4ecb9 100644 (file)
--- 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: 0.5em;
+                          padding: 1em 1em 0em 1em;
                           margin-left: 2em;
                           margin-right: 2em; }
 
@@ -82,7 +82,7 @@ div.warning .label      { font-family: sans-serif;
 
 div.note                { background-color: #fffaf0;
                           border: thin solid black;
-                          padding: 0.5em;
+                          padding: 1em 1em 0em 1em;
                           margin-left: 2em;
                           margin-right: 2em; }