Made section headings in Auctex red to stand out more