diff options
| -rw-r--r-- | Doc/html/style.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index 161b0e8..f585744 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; } |