Google Code Prettify を拡張する jQuery プラグイン。