Linux.cn中代码展示<pre>标签是怎么弄得那种样子？

如题，菜鸟提问

 

如这篇文章http://linux.cn/thread/10683/1/1/

syntaxhighlighter - Free syntax highlighter written in Java Script  

这个其实不是pre标签了。生成的全是格式化了的html标签了。