Messing with source highlights in html