[[ Re: ハイライトも Google 流 - "google-code-prettify" でソースコードに色付けを ]] へのコメント