doc css styling: font size slightly bigger

2024-12-25 08:29:25 +00:00 · 2022-01-03 23:16:07 +01:00 · 2022-01-03 23:16:07 +01:00 · 9a0341adde
commit 9a0341adde
parent 96225efd96
1 changed files with 8 additions and 0 deletions
--- a/docs/source/_static/css/customize.css
+++ b/docs/source/_static/css/customize.css
@ -12,3 +12,11 @@
    max-width: 100%;
    overflow: visible;
 }
+
+html {
+    font-size: 13pt;
+}
+
+p {
+    font-size: 13pt;
+}