//Catch Pre tags and apply highlighting

WordPress