From 00faf3e9ebf6d15871771e7256fec6d4c4137ca7 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Mon, 16 Oct 2023 17:24:33 +0200
Subject: [PATCH] [doc] Sans serif font for html documentation.
---
doc/_static/custom.css | 3 +++
doc/conf.py | 3 +++
2 files changed, 6 insertions(+)
create mode 100644 doc/_static/custom.css
diff --git a/doc/_static/custom.css b/doc/_static/custom.css
new file mode 100644
index 0000000..9b5284b
--- /dev/null
+++ b/doc/_static/custom.css
@@ -0,0 +1,3 @@
+body{
+ font-family: Ubuntu, sans-serif;
+}
diff --git a/doc/conf.py b/doc/conf.py
index c607090..22dc7b8 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -69,6 +69,9 @@ html_theme = 'alabaster'
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['_static']
+html_css_files = [
+ 'custom.css',
+]
# -- Options for LaTeX output ---------------------------------------------
--
GitLab