diff options
| -rw-r--r-- | documentation/sphinx-static/theme_overrides.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/documentation/sphinx-static/theme_overrides.css b/documentation/sphinx-static/theme_overrides.css index ab00c1cf45..c18053398f 100644 --- a/documentation/sphinx-static/theme_overrides.css +++ b/documentation/sphinx-static/theme_overrides.css | |||
| @@ -74,6 +74,10 @@ h6 { | |||
| 74 | font-weight: bold; | 74 | font-weight: bold; |
| 75 | } | 75 | } |
| 76 | 76 | ||
| 77 | em { | ||
| 78 | font-weight: bold; | ||
| 79 | } | ||
| 80 | |||
| 77 | .pre { | 81 | .pre { |
| 78 | font-size: medium; | 82 | font-size: medium; |
| 79 | font-family: Courier, monospace; | 83 | font-family: Courier, monospace; |
