diff options
author | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2024-01-14 14:18:22 +0100 |
---|---|---|
committer | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2024-01-17 08:40:19 +0100 |
commit | 479edbaf89ccc579f9c49c6d2256ba481156b404 (patch) | |
tree | 983cf10085f298eb8625b9c1ed666ee073afc82c | |
parent | 0c098a513680c98ce98a11f0422bba208051500a (diff) | |
download | u-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>
-rw-r--r-- | doc/sphinx-static/theme_overrides.css | 5 |
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%; } |