最近、コードのハイライトは Javascript で行うべきかな、と思えてきました。だって、機械に「これは見出し」とか「これはリスト」とか分からせるためにマークアップするわけで。機械的にマークアップさせることができるんだったら、マークアップする必要はないんじゃないかなぁ・・・とか。