modified tex highlighting; made comments globally non-italic