summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/sphinx-static/theme_overrides.css5
1 files changed, 5 insertions, 0 deletions
diff --git a/documentation/sphinx-static/theme_overrides.css b/documentation/sphinx-static/theme_overrides.css
index 9685bca338..ffa91884a7 100644
--- a/documentation/sphinx-static/theme_overrides.css
+++ b/documentation/sphinx-static/theme_overrides.css
@@ -74,6 +74,11 @@ h6 {
74 font-weight: bold; 74 font-weight: bold;
75} 75}
76 76
77.pre {
78 font-size: medium;
79 font-family: Courier, monospace;
80}
81
77.wy-nav-content a { 82.wy-nav-content a {
78 text-decoration: underline; 83 text-decoration: underline;
79 color: #444; 84 color: #444;