Source highlight in onepage views

Fixes a longstanding showoff bug in which the sh_highlight js files
didn't get loaded properly.