From b92fd9a52973379c5eca82b5056dd285bdc2a084 Mon Sep 17 00:00:00 2001 From: Andre Ramnitz Date: Mon, 18 Nov 2024 22:05:36 +0100 Subject: [PATCH] foot: adjust font size to new display scale --- dot-config/foot/foot.ini | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/dot-config/foot/foot.ini b/dot-config/foot/foot.ini index 700b7e69..daab6903 100644 --- a/dot-config/foot/foot.ini +++ b/dot-config/foot/foot.ini @@ -15,10 +15,10 @@ shell=/bin/fish # font-italic= # font-bold-italic= # font-size-adjustment=0.5 -font=IosevkaTerm Nerd Font Mono:size=12:weight=200 -font-bold=IosevkaTerm Nerd Font Mono:size=12:weight=500 -font-italic=IosevkaTerm Nerd Font Mono:size=12:style=italic:weight=200 -font-bold-italic=IosevkaTerm Nerd Font Mono:size=12:slant=italic:weight=500 +font=IosevkaTerm Nerd Font Mono:size=11:weight=200 +font-bold=IosevkaTerm Nerd Font Mono:size=11:weight=500 +font-italic=IosevkaTerm Nerd Font Mono:size=11:style=italic:weight=200 +font-bold-italic=IosevkaTerm Nerd Font Mono:size=11:slant=italic:weight=500 # line-height= # letter-spacing=0 # horizontal-letter-offset=0 @@ -93,7 +93,7 @@ label-letters=asdfghjkl # long-press-delay=400 [colors] -alpha=0.92 +alpha=0.90 # # background=242424 # # foreground=ffffff # # flash=7f7f00 -- 2.51.2