switch to monokai-theme + add some plugins