Make font size smaller (too large for desktop monitors)

aleximmer · Sep 18, 2024 · 9c2124c · 9c2124c
1 parent 3ac556b
commit 9c2124c
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/docs/api_reference/marglik_training.md b/docs/api_reference/marglik_training.md
@@ -1 +1,4 @@
 ::: laplace.marglik_training
+    options:
+        members:
+            - marglik_training
diff --git a/docs/css/mkdocstrings.css b/docs/css/mkdocstrings.css
@@ -1,3 +1,11 @@
+html {
+  font-size: 19px;
+}
+
+.md-typeset .admonition {
+  font-size: 0.7rem;
+}
+
 /* Indentation. */
 div.doc-contents:not(.first) {
   padding-left: 25px;