fix <pre> onmouse highlight