[PATCH 4/5] doc: import Sphinx theme.css and pygments.css

[Heinrich Schuchardt]

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 at canonical.com>
---
 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.
  */
 
+ at import 'css/theme.css';
+ at import 'pygments.css';
+
 /* Improve contrast and increase size for easier reading. */
 
 body {
-	font-family: serif;
+	font-family: sans-serif;
 	font-size: 100%;
 }
 
-- 
2.43.0