rlx 898cc702f5 highlight: several bugfixes and performance improvements; normalizeHTML: only use dom if needed		2012-06-16 20:45:05 +00:00
..
js	highlight: several bugfixes and performance improvements; normalizeHTML: only use dom if needed	2012-06-16 20:45:05 +00:00