aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx-static
diff options
context:
space:
mode:
authorHeinrich Schuchardt <heinrich.schuchardt@canonical.com>2024-01-14 14:18:22 +0100
committerHeinrich Schuchardt <heinrich.schuchardt@canonical.com>2024-01-17 08:40:19 +0100
commit479edbaf89ccc579f9c49c6d2256ba481156b404 (patch)
tree983cf10085f298eb8625b9c1ed666ee073afc82c /doc/sphinx-static
parent0c098a513680c98ce98a11f0422bba208051500a (diff)
downloadu-boot-479edbaf89ccc579f9c49c6d2256ba481156b404.zip
u-boot-479edbaf89ccc579f9c49c6d2256ba481156b404.tar.gz
u-boot-479edbaf89ccc579f9c49c6d2256ba481156b404.tar.bz2
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>
Diffstat (limited to 'doc/sphinx-static')
-rw-r--r--doc/sphinx-static/theme_overrides.css5
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/sphinx-static/theme_overrides.css b/doc/sphinx-static/theme_overrides.css
index f6f2b94..02e1151 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%;
}