#950 色つきHTMLコピーの出力HTMLの一部省略

[Moca]

色つきHTML出力でpreにもtext colorを設定し、spanでのテキスト色・背景色の設定がpreと同じ場合は省略して、
出力するHTMLが小さくなるようにします。