|
I thought of just removing the line numbers, since I don't really care about them, but it looks like it would be one-at-a-time tedious work.
I tried tinkering with the CSS (at which I am NOT an expert) and I kept introducing other problems, so I gave up on that approach.
|