From 479edbaf89ccc579f9c49c6d2256ba481156b404 Mon Sep 17 00:00:00 2001 From: Heinrich Schuchardt Date: Sun, 14 Jan 2024 14:18:22 +0100 Subject: [PATCH] doc: import Sphinx theme.css and pygments.css We want to override the Sphinx theme only partially. So we need to import the Sphinx theme.css. Cf. https://docs.readthedocs.io/en/stable/guides/adding-custom-css.html We also need to import the pygments.css for syntax highlighing. Use sans-serif for body. Signed-off-by: Heinrich Schuchardt --- doc/sphinx-static/theme_overrides.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/sphinx-static/theme_overrides.css b/doc/sphinx-static/theme_overrides.css index f6f2b941a5..02e1151815 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%; } -- 2.39.5