From d1d11b00d7bfab38532167bc5c3b1e89695c3b02 Mon Sep 17 00:00:00 2001 From: Andre Ramnitz Date: Mon, 10 Jun 2024 22:27:59 +0200 Subject: [PATCH] foot: update fonts --- config/foot/foot.ini | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/config/foot/foot.ini b/config/foot/foot.ini index aed86437..12f5458e 100644 --- a/config/foot/foot.ini +++ b/config/foot/foot.ini @@ -9,11 +9,12 @@ shell=/bin/fish # title=foot # locked-title=no -font=IosevkaTerm Nerd Font Mono:size=12:style=medium +font=IosevkaTerm Nerd Font Mono:size=12:slant=italic:weight=medium +#:weight=medium #,LiterationMono Nerd Font:size=10 -# font-bold= -# font-italic= -# font-bold-italic= +font-bold=IosevkaTerm Nerd Font Mono:size=12:weight=bold +font-italic=IosevkaTerm Nerd Font Mono:size=12:slant=italic:weight=medium +font-bold-italic=IosevkaTerm Nerd Font Mono:size=12:slant=italic:weight=bold # font-size-adjustment=0.5 # line-height= # letter-spacing=0 @@ -25,7 +26,7 @@ font=IosevkaTerm Nerd Font Mono:size=12:style=medium # dpi-aware=no # initial-window-size-pixels=1256x720 # Or, -initial-window-size-chars=110x32 +initial-window-size-chars=133x31 # initial-window-mode=windowed # pad=0x0 # optionally append 'center' # resize-delay-ms=100 -- 2.51.2