Guessing they were just using something like highlightjs
Guessing they were just using something like highlightjs
As for your firefox issues, thats pretty trivial to fix by adding some CSS in usercontent.css/userchrome.css
See here for some examples: MrOtherGuy/firefox-csshacks
No