Back to default code mirror theme