use listings to highlight in pdf