From 9a0341adde365a361f43e64b48c085303340178b Mon Sep 17 00:00:00 2001
From: Irmen de Jong <irmen@razorvine.net>
Date: Mon, 3 Jan 2022 23:16:07 +0100
Subject: [PATCH] doc css styling: font size slightly bigger

---
 docs/source/_static/css/customize.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/source/_static/css/customize.css b/docs/source/_static/css/customize.css
index d4c768a5a..5facc8553 100644
--- 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;
+}