Monokai theme fixes.