HTML report only leaves room for three digits in the line number

[nedbat]

Describe the bug
Files longer than 999 lines have cramped line numbers at the end:

Better to make more room.

[nedbat]

This is now released as part of coverage 5.5.