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 7cc4947..3d6d221 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: 0.5em;
+ padding: 1em 1em 0em 1em;
margin-left: 2em;
margin-right: 2em; }
@@ -82,7 +82,7 @@
div.note { background-color: #fffaf0;
border: thin solid black;
- padding: 0.5em;
+ padding: 1em 1em 0em 1em;
margin-left: 2em;
margin-right: 2em; }