Syntax highlighting

This change moves the static assets into the theme and adds a theme.js file that enables the syntax highlighting.