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%; }