feat: consistent font inheritance

leanprover · Nov 11, 2023 · 162de4a · 162de4a
1 parent 756e5a0
commit 162de4a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/static/style.css b/static/style.css
@@ -13,6 +13,8 @@ body {
     background: var(--body-bg);
 }
 
+input, select, textarea, button{font-family:inherit;}
+
 a {
    color: var(--link-color);
 }