Changed to fix overflow problem on HTML elements with "highlighted-source" class instead of "pas-source".
Authored by: delphidabbler 2013-09-17
Parent: [r3555]
Child: [r3557]
