diff options
Diffstat (limited to 'doc/sphinx-static/theme_overrides.css')
-rw-r--r-- | doc/sphinx-static/theme_overrides.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/sphinx-static/theme_overrides.css b/doc/sphinx-static/theme_overrides.css index ffa91884a..4fd76a152 100644 --- a/doc/sphinx-static/theme_overrides.css +++ b/doc/sphinx-static/theme_overrides.css @@ -74,6 +74,10 @@ h6 { font-weight: bold; } +em { + font-weight: bold; +} + .pre { font-size: medium; font-family: Courier, monospace; |