Highlighting (again) disrupts table alignment

Highlighting the table in the following link disrupts the alignment, for example when I highlight '42 40 -1' in the top right corner.


I and others once reported similar problem and it has been fixed. This might be a new sort of bug in highlighting.
Sign In or Register to comment.