diff options
| -rw-r--r-- | doc/sphinx-static/theme_overrides.css | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/sphinx-static/theme_overrides.css b/doc/sphinx-static/theme_overrides.css index f6f2b941a5d..02e11518155 100644 --- a/doc/sphinx-static/theme_overrides.css +++ b/doc/sphinx-static/theme_overrides.css @@ -5,10 +5,13 @@ * work for both normal and dark modes. */ +@import 'css/theme.css'; +@import 'pygments.css'; + /* Improve contrast and increase size for easier reading. */ body { - font-family: serif; + font-family: sans-serif; font-size: 100%; } |