Work on DartSlides.

- Finish formatting.
- Customize github highligt theme.
- Use standard highlight.js with hand-added Java and (created, in
   progress) Dart plugins.
- Tweak styles.