Replaced the old Monokai theme