Thanks, but the builtin <code> tags are shit. I think I found a plugin that will do what I want for now. I still would love to find one with the select and copy features like you see at github and places like that.
This is what I just installed and tested. Seems pretty flexible, and simple to use. So I think for now I'll use it. But if anyone finds one with those other features please let me know!
------------------------------------------------------------------------ If you don't like donut, then leave it alone. Nobody force you to eat it.