2023-12-30 14:01:33 +00:00
|
|
|
[colors.bright]
|
|
|
|
black = "#767676"
|
|
|
|
blue = "#6871ff"
|
|
|
|
cyan = "#5ffdff"
|
|
|
|
green = "#5ff967"
|
|
|
|
magenta = "#ff76ff"
|
|
|
|
red = "#ff6d67"
|
|
|
|
white = "#feffff"
|
|
|
|
yellow = "#fefb67"
|
|
|
|
|
|
|
|
[colors.normal]
|
|
|
|
black = "#666666"
|
|
|
|
blue = "#0631f8"
|
|
|
|
cyan = "#00c5c7"
|
|
|
|
green = "#00c200"
|
|
|
|
magenta = "#c930c7"
|
|
|
|
red = "#c91b00"
|
|
|
|
white = "#c7c7c7"
|
|
|
|
yellow = "#c7c400"
|
|
|
|
|
|
|
|
[colors.primary]
|
|
|
|
background = "#000000"
|
|
|
|
foreground = "#c7c7c7"
|
|
|
|
|
|
|
|
[font]
|
|
|
|
size = 8.0
|
|
|
|
|
|
|
|
[font.bold]
|
|
|
|
family = "DejaVuSansM Nerd Font Mono"
|
|
|
|
style = "Bold"
|
|
|
|
|
|
|
|
[font.normal]
|
|
|
|
family = "DejaVuSansM Nerd Font Mono"
|
|
|
|
style = "Regular"
|
|
|
|
|
|
|
|
[font.offset]
|
|
|
|
x = 0
|
|
|
|
y = 0
|
|
|
|
|
2024-10-25 15:41:27 +00:00
|
|
|
[general]
|
|
|
|
live_config_reload = true
|
|
|
|
|
2023-12-30 14:01:33 +00:00
|
|
|
[scrolling]
|
|
|
|
history = 10000
|