disable high-line on TeX file