From: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
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/%22http:/www.sics.se/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 <heinrich.schuchardt@canonical.com>
---

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