Commit e182fa9
Eric Bower
·
2026-07-13 13:45:33 -0400 EDT
parent 49839b0
chore: trying 10pt
1 files changed,
+1,
-1
+1,
-1
1@@ -1,5 +1,5 @@
2 font-family = JetBrainsMono Nerd Font
3-font-size = 13
4+font-size = 10pt
5 theme = Gruvbox Dark
6 window-padding-x = 4
7 window-padding-y = 4