added themes for editor highlighting