Switch between themes.

We used this in an LSCC hands-on session and the code was unreadable. Midnight is not a good theme for a projector. This fix adds links to change theme between all the default SyntaxHighlighter themes.