diff options
Diffstat (limited to 'Doc/html/style.css')
| -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 70cc235..e69eac1 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -131,7 +131,7 @@ div.note .label { margin-right: 0.5em; */ .seealso { background-color: #fffaf0; border: thin solid black; - padding: 4pt; } + padding: 0pt 1em 4pt 1em; } .seealso .heading { font-size: 110%; } |