docs: rescale tailwind to match mkdocs base font-size

mkdocs uses 20px as the base font-size. This makes all the tailwind classes 25% larger than intended.
cachix · Apr 13, 2024 · 5071787 · 5071787
1 parent de824c6
commit 5071787
Show file tree

Hide file tree

Showing 6 changed files with 191 additions and 131 deletions.
diff --git a/docs/assets/extra.css b/docs/assets/extra.css
@@ -2,6 +2,11 @@
 @import 'tailwindcss/components';
 @import 'tailwindcss/utilities';
 
+body {
+    /* Override the mkdocs default of 0.5rem */
+    font-size: 0.8rem; /* 16px */
+}
+
 /* hide site name */
 .md-header__topic {
     visibility: hidden;