diff --git a/Doc/html/style.css b/Doc/html/style.css index 7cc49478ee9..3d6d22182cc 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -72,7 +72,7 @@ .typelabel { font-family: lucida, sans-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 @@ .typelabel { font-family: lucida, 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; }