Guessing they were just using something like highlightjs