From 241650a9659196b867c4689ec948c8afee56c0e7 Mon Sep 17 00:00:00 2001
From: Dominic Reich <dominic@noreply.oe7drt.com>
Date: Sat, 8 Apr 2023 19:44:04 +0200
Subject: [PATCH] update font size

---
 assets/css/custom.css | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 assets/css/custom.css

diff --git a/assets/css/custom.css b/assets/css/custom.css
new file mode 100644
index 0000000..d1c0784
--- /dev/null
+++ b/assets/css/custom.css
@@ -0,0 +1,35 @@
+/* Increase the default font size */
+html {
+    font-size: 15pt;
+}
+
+/* .toc { */
+/*     overflow: scroll; */
+/* } */
+
+/* @media (min-width: 1024px) { */
+/*     .lg\:sticky { */
+/*         position: sticky; */
+/*         bottom: 0; */
+/*     } */
+/*     .lg\:top-10 { */
+/*         top: 0; */
+/*     } */
+/* } */
+
+/* .sticky { */
+/*     top: 0; */
+/* } */
+/**/
+/* .toc ul, */
+/* .toc li { */
+/*     line-height: 0.3; */
+/* } */
+/**/
+/* .toc a { */
+/*     font-size: 10pt; */
+/* } */
+/**/
+/* .toc a:hover { */
+/*     font-size: 16pt; */
+/* } */