Hello, > Hello, > Does anyone know what kind of font and color themes used in this terminal and > editor setting, > https://s3.amazonaws.com/f.cl.ly/items/1e2F0A123h331c1G0L0R/SadBart.gif, The colorscheme could be gruvbox[1]: [1] https://github.com/morhetz/gruvbox Best, Paul