Adjust font sizing

This commit is contained in:
Thomas Avé 2022-07-21 16:12:11 +02:00
parent d4335aa52f
commit ce3d4e8f01
1 changed files with 1 additions and 1 deletions

View File

@ -25,7 +25,7 @@ local theme = {}
theme.name = "pastel"
-- Font
theme.font = "Ubuntu 13"
theme.font = "Ubuntu 12"
theme.title_font = "Ubuntu 12"
-- Background