Line numbers should not be selected when you try to copy & paste.
We've been working on a small pastebin tool at https://sourceforge.net/p/forgepastebin/code/ That separates the line numbers from the code, quite well. So that is an excellent example to work from.
closed #20 and pushed changes to 42cc_4116
We should ensure that HTML validation passes, and we may have to copy some styles into our sftheme.
Minor fix (DIVs can't live inside PREs) and merged