AUCTeX -> title highlight