Changed font size

This commit is contained in:
Tim Schubert 2022-01-29 21:27:44 +01:00
parent 098012a8ae
commit e3f72d719c
Signed by: dadada
GPG key ID: EEB8D1CE62C4DFEA

View file

@ -17,7 +17,7 @@ in
settings = { settings = {
scrolling.history = 0; scrolling.history = 0;
font = { font = {
size = 11; size = 10;
normal = { normal = {
family = "Jetbrains Mono"; family = "Jetbrains Mono";
style = "Regular"; style = "Regular";