From: Heinrich Schuchardt Date: Sun, 14 Jan 2024 13:18:22 +0000 (+0100) Subject: doc: import Sphinx theme.css and pygments.css X-Git-Url: http://git.dujemihanovic.xyz/img/static/git-favicon.png?a=commitdiff_plain;h=479edbaf89ccc579f9c49c6d2256ba481156b404;p=u-boot.git 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 --- 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%; }