google-code-prettify は、phpやJavaScriptなどいろいろな言語のソースコードをhtmlに貼り付けてブラウザから見た時に、いい感じにソースコードを色分けしてくれる素敵なライブラリです。 こんな感じに自動で色付けてくれてありがたいんですが、ちょっと妙な…