update font size

This commit is contained in:
brice
2022-09-17 19:02:29 +02:00
parent fc7c0b2179
commit 8fa029e08d
+1 -1
View File
@@ -1,3 +1,3 @@
font:
# Point size
size: 14.0
size: 12.0