That's indeed a good idea, but some browsers lose line breaks when copying.
Some which browsers?
In reply to Re^7: Change default style sheet: add line numbers (counter-increment: codeLineCounter;)
by Anonymous Monk
in thread Change default style sheet: add line numbers
by roboticus
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |