summaryrefslogtreecommitdiffstats
path: root/documentation/sphinx-static/theme_overrides.css
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/sphinx-static/theme_overrides.css')
-rw-r--r--documentation/sphinx-static/theme_overrides.css4
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
77em {
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;