fixed monokai theme, and is made default