docs: use Ubuntu font

canonical · Feb 3, 2023 · 130845c · 130845c
1 parent cd2832b
commit 130845c
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 0 deletions.
diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css
@@ -0,0 +1,28 @@
+@import url('https://fonts.googleapis.com/css2?family=Ubuntu:ital@0;1&display=swap');
+
+body {
+    font-family: Ubuntu, "times new roman", times, roman, serif;
+}
+
+div .toctree-wrapper {
+    column-count: 2;
+}
+
+div .toctree-wrapper>ul {
+    margin: 0;
+}
+
+ul .toctree-l1 {
+    margin: 0;
+    -webkit-column-break-inside: avoid;
+    page-break-inside: avoid;
+    break-inside: avoid-column;
+}
+
+.wy-nav-content {
+    max-width: none;
+}
+
+.log-snippets {
+    color: rgb(141, 141, 141);
+}
diff --git a/docs/conf.py b/docs/conf.py
@@ -37,6 +37,9 @@
 
 html_theme = "furo"
 html_static_path = ["_static"]
+html_css_files = [
+    "css/custom.css",
+]
 
 # endregion
 # region Options for extensions