Nice work. Quick suggestion though (for ease of copy-pasting by end-users): From the resulting rendered html with line numbers, the line numbers are also copi

Nice work. Quick suggestion though (for ease of copy-pasting by end-users): From the resulting rendered html with line numbers, the line numbers are also copied into the clipboard, which is undesirable. Suggest you put them in separate elements like dpaste does it, for easy selection without line numbers: http://dpaste.com/hold/93427/ http://dpaste.com/hold/93427/