2016-04-01 16:01:18 +00:00
|
|
|
[options]
|
2016-09-12 22:27:38 +00:00
|
|
|
font = SauceCodePro 9
|
2018-03-29 10:49:48 +00:00
|
|
|
scrollback_lines = 1000000
|
2016-04-01 16:01:18 +00:00
|
|
|
cursor_blink = off
|
|
|
|
size_hints = true
|
|
|
|
|
|
|
|
[colors]
|
|
|
|
cursor = #5294E2
|
|
|
|
foreground = #ECEFF1
|
2016-05-16 16:43:27 +00:00
|
|
|
background = rgba(56, 60, 74, 0.95)
|
2016-04-01 16:01:18 +00:00
|
|
|
highlight = #5294E2
|
|
|
|
|
2018-03-29 10:49:21 +00:00
|
|
|
# Colour order:
|
|
|
|
# black
|
|
|
|
# red
|
|
|
|
# green
|
|
|
|
# yellow
|
|
|
|
# blue
|
|
|
|
# magenta
|
|
|
|
# cyan
|
|
|
|
# white/gray
|
|
|
|
|
|
|
|
# Normal colours
|
2017-11-15 23:04:28 +00:00
|
|
|
color0 = #333638
|
2018-03-29 10:49:21 +00:00
|
|
|
color1 = #ff3f00
|
|
|
|
color2 = #8bc34a
|
|
|
|
color3 = #ffc107
|
|
|
|
color4 = #0266f4
|
|
|
|
color5 = #cc17cc
|
|
|
|
color6 = #10aeba
|
2017-11-15 23:04:28 +00:00
|
|
|
color7 = #8b9396
|
2018-03-29 10:49:21 +00:00
|
|
|
|
|
|
|
# Bright colours
|
2017-11-15 23:04:28 +00:00
|
|
|
color8 = #475760
|
|
|
|
color9 = #ef5345
|
2016-04-01 16:01:18 +00:00
|
|
|
color10 = #9ccc65
|
|
|
|
color11 = #ffa000
|
2017-11-15 23:04:28 +00:00
|
|
|
color12 = #81b3f9
|
|
|
|
color13 = #a56ecc
|
|
|
|
color14 = #5ddae2
|
2018-03-29 10:49:21 +00:00
|
|
|
color15 = #eceff1
|
2016-04-01 16:01:18 +00:00
|
|
|
|
|
|
|
# vim: ft=dosini cms=#%s
|