Line numbers are no longer selectable by default, easing copy+paste of code snippets.