From 0c74b897c03ff8e6780b5bc68564e8119a0d1574 Mon Sep 17 00:00:00 2001 From: Nulo Date: Tue, 16 Nov 2021 08:33:53 -0300 Subject: [PATCH] foot: DejaVu Sans Mono --- .config/themer/foot.ini.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.config/themer/foot.ini.sh b/.config/themer/foot.ini.sh index b4f16a3..74a741a 100755 --- a/.config/themer/foot.ini.sh +++ b/.config/themer/foot.ini.sh @@ -4,10 +4,10 @@ set -e # https://github.com/jan-warchol/selenized/blob/e93e0d9fb47c7485f18fa16f9bdb70c2ee7fb5db/the-values.md echo "# Autogenerated by ~/.config/themer/foot.ini.sh -font=JetBrains Mono:style=Regular:size=10 -font-bold=JetBrains Mono:style=Bold:size=10 -font-italic=JetBrains Mono:style=Italic:size=10 -font-bold-italic=JetBrains Mono:style=Bold Italic:size=10 +font=DejaVu Sans Mono:pixelsize=15 +font-bold=DejaVu Sans Mono:style=Bold:pixelsize=15 +font-italic=DejaVu Sans Mono:style=Oblique:pixelsize=15 +font-bold-italic=DejaVu Sans Mono:style=Bold Oblique:pixelsize=15 pad=5x5