Use Monokai theme; Few minor tweaks