Don’t fontify src regions