2018-12-01 23:07:01 +00:00
|
|
|
!! The default colors are "Gruvbox":
|
2018-12-03 18:29:20 +00:00
|
|
|
*.color0: #1d2021
|
2018-12-01 23:07:01 +00:00
|
|
|
*.color1: #cc241d
|
|
|
|
|
*.color2: #98971a
|
|
|
|
|
*.color3: #d79921
|
|
|
|
|
*.color4: #458588
|
|
|
|
|
*.color5: #b16286
|
|
|
|
|
*.color6: #689d6a
|
|
|
|
|
*.color7: #a89984
|
|
|
|
|
*.color8: #928374
|
|
|
|
|
*.color9: #fb4934
|
|
|
|
|
*.color10: #b8bb26
|
|
|
|
|
*.color11: #fabd2f
|
|
|
|
|
*.color12: #83a598
|
|
|
|
|
*.color13: #d3869b
|
|
|
|
|
*.color14: #8ec07c
|
|
|
|
|
*.color15: #ebdbb2
|
|
|
|
|
!! Transparency (0-255):
|
2019-01-10 02:10:10 +00:00
|
|
|
st.alpha: 230
|
2018-12-03 18:29:30 +00:00
|
|
|
!! Set a default font and font size as below:
|
|
|
|
|
!! *.font: Monospace-14;
|
