diff --git a/Doc/html/style.css b/Doc/html/style.css index 70cc2350438..e69eac15fd0 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%; }