From 57f3c5b0e6ac1c57f39a13ec130e5e890102d9a6 Mon Sep 17 00:00:00 2001
From: Piotr Rogowski <piotr.rogowski0@gmail.com>
Date: Wed, 1 Nov 2023 15:39:08 +0100
Subject: [PATCH] Adjust font size

---
 .vscode/settings.json | 1 +
 docusaurus.config.ts  | 1 +
 src/css/custom.css    | 5 +++--
 3 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index d337348..0bb65a1 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -31,6 +31,7 @@
     "GPPWM",
     "Highside",
     "IACV",
+    "Infima",
     "katex",
     "Lowside",
     "Miata",
diff --git a/docusaurus.config.ts b/docusaurus.config.ts
index c8e60af..d52291e 100644
--- a/docusaurus.config.ts
+++ b/docusaurus.config.ts
@@ -149,6 +149,7 @@ const config: Config = {
           marginTop: -2,
         },
       },
+      hideOnScroll: true,
       items: [
         {
           href: pdfUrl,
diff --git a/src/css/custom.css b/src/css/custom.css
index 2306cc7..ff6308c 100644
--- a/src/css/custom.css
+++ b/src/css/custom.css
@@ -6,7 +6,7 @@
 
 /* You can override the default Infima variables here. */
 :root {
-  --ifm-color-primary: #434BE7;
+  --ifm-color-primary: #434be7;
   --ifm-color-primary-dark: #29784c;
   --ifm-color-primary-darker: #277148;
   --ifm-color-primary-darkest: #205d3b;
@@ -15,10 +15,11 @@
   --ifm-color-primary-lightest: #3cad6e;
   --ifm-code-font-size: 95%;
   --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.1);
+  --ifm-font-size-base: 17px;
 }
 
 /* For readability concerns, you should choose a lighter palette in dark mode. */
-[data-theme='dark'] {
+[data-theme="dark"] {
   --ifm-color-primary: #666ded;
   --ifm-color-primary-dark: #21af90;
   --ifm-color-primary-darker: #1fa588;