Changed Fonts
This commit is contained in:
parent
0b6181f3fb
commit
2764b00062
3 changed files with 8 additions and 4 deletions
|
@ -2,3 +2,7 @@
|
|||
|
||||
## Note for env.shell.example
|
||||
Copy it and rename it to .env.sh. Don't commit one with your environment variables, that variables are secret keys
|
||||
|
||||
## Fonts used
|
||||
- [Inter](https://github.com/rsms/inter) as System Font
|
||||
- [Hack Nerd Font](https://www.programmingfonts.org/#hack) as Terminal font
|
||||
|
|
|
@ -119,7 +119,7 @@ font:
|
|||
# - (macOS) Menlo
|
||||
# - (Linux/BSD) monospace
|
||||
# - (Windows) Consolas
|
||||
family: 'FantasqueSansMono Nerd Font Mono'
|
||||
family: 'Hack Nerd Font Mono'
|
||||
|
||||
# The `style` can be specified to pick a specific face.
|
||||
#style: Regular
|
||||
|
@ -158,7 +158,7 @@ font:
|
|||
#style: Bold Italic
|
||||
|
||||
# Point size
|
||||
size: 13.0
|
||||
size: 12.0
|
||||
|
||||
# Offset is the extra space around each character. `offset.y` can be thought
|
||||
# of as modifying the line spacing, and `offset.x` as modifying the letter
|
||||
|
|
|
@ -11,7 +11,7 @@ local themes_path = gfs.get_themes_dir()
|
|||
|
||||
local theme = {}
|
||||
|
||||
theme.font = "sans 8"
|
||||
theme.font = "Inter 10"
|
||||
|
||||
theme.bg_normal = "#222222"
|
||||
theme.bg_focus = "#535d6c"
|
||||
|
|
Loading…
Reference in a new issue