Modifying monokai theme colors