switch code mirror theme