foot: DejaVu Sans Mono
This commit is contained in:
parent
ad1fc97ff9
commit
0c74b897c0
1 changed files with 4 additions and 4 deletions
|
@ -4,10 +4,10 @@ set -e
|
||||||
# https://github.com/jan-warchol/selenized/blob/e93e0d9fb47c7485f18fa16f9bdb70c2ee7fb5db/the-values.md
|
# https://github.com/jan-warchol/selenized/blob/e93e0d9fb47c7485f18fa16f9bdb70c2ee7fb5db/the-values.md
|
||||||
|
|
||||||
echo "# Autogenerated by ~/.config/themer/foot.ini.sh
|
echo "# Autogenerated by ~/.config/themer/foot.ini.sh
|
||||||
font=JetBrains Mono:style=Regular:size=10
|
font=DejaVu Sans Mono:pixelsize=15
|
||||||
font-bold=JetBrains Mono:style=Bold:size=10
|
font-bold=DejaVu Sans Mono:style=Bold:pixelsize=15
|
||||||
font-italic=JetBrains Mono:style=Italic:size=10
|
font-italic=DejaVu Sans Mono:style=Oblique:pixelsize=15
|
||||||
font-bold-italic=JetBrains Mono:style=Bold Italic:size=10
|
font-bold-italic=DejaVu Sans Mono:style=Bold Oblique:pixelsize=15
|
||||||
|
|
||||||
pad=5x5
|
pad=5x5
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue