Font and font size for gui. Solarized theme. Other tweeks.