diff options
| -rw-r--r-- | doc/sphinx-static/theme_overrides.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/sphinx-static/theme_overrides.css b/doc/sphinx-static/theme_overrides.css index 9685bca33..ffa91884a 100644 --- a/doc/sphinx-static/theme_overrides.css +++ b/doc/sphinx-static/theme_overrides.css @@ -74,6 +74,11 @@ h6 { font-weight: bold; } +.pre { + font-size: medium; + font-family: Courier, monospace; +} + .wy-nav-content a { text-decoration: underline; color: #444; |