Adjust font size

.vscode/settings.json

@@ -31,6 +31,7 @@
     "GPPWM",
     "Highside",
     "IACV",
+    "Infima",
     "katex",
     "Lowside",
     "Miata",

docusaurus.config.ts

@@ -149,6 +149,7 @@ const config: Config = {
           marginTop: -2,
         },
       },
+      hideOnScroll: true,
       items: [
         {
           href: pdfUrl,

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;