dikiのコードハイライトを長いソースに対応させようとすると重くてどうしようもなくなるので高速化を考えてたのだけど、、、。 d2htmlってのがあったので、それを使ってみたら、元より、120倍も速くなった。 完全に色つかないところもあるので、デバッグして…