monokai theme tweaks