change foot font size

master
Alex 2022-09-21 23:17:17 -05:00
parent af283f4f74
commit c37931a74b
2 changed files with 2 additions and 2 deletions

View File

@ -8,7 +8,7 @@
# title=foot # title=foot
# locked-title=no # locked-title=no
font=monospace:size=10 font=monospace:size=11
# font-bold=<bold variant of regular font> # font-bold=<bold variant of regular font>
# font-italic=<italic variant of regular font> # font-italic=<italic variant of regular font>
# font-bold-italic=<bold+italic variant of regular font> # font-bold-italic=<bold+italic variant of regular font>

@ -1 +1 @@
Subproject commit 89870ee40a8c7333c5b8ae78c35f1bfe92823678 Subproject commit d908d79b674f381f346731c9512ffebcf01ec52b