Drop user class highlighting

This got weird when it started highlighting the colons, and given that
it requires special color scheme support I don't think it's worth
bothering with.
Drop JavaScript highlighting

All this just to highlight $ and jQuery?  Not worth it.