Adjust font size

mi-hol · Nov 1, 2023 · 57f3c5b · 57f3c5b
1 parent ba72da3
commit 57f3c5b
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git 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
@@ -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
@@ -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;