diff options
Diffstat (limited to 'Doc/html/style.css')
| -rw-r--r-- | Doc/html/style.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index f7a19df..2e210b1 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -141,7 +141,8 @@ div.note .label { margin-right: 0.5em; border: thin solid black; padding: 0pt 1em 4pt 1em; } -.seealso .heading { font-size: 110%; } +.seealso > .heading { font-size: 110%; + font-weight: bold; } /* * Class 'availability' is used for module availability statements at |