A few tweaks. Monokai theme as default.