This is often annoying as the line number isn't part of the output
itself. For diff line numbers, we set user-select: none, and this
change does the same for job log line numbers.