Formatting changes

Needs to be merged **after** #1 if OK with you.

Note that the `slides.html` file, which I first wanted to remove as it should be a generated file, _does_ need to be explicitly saved, after all.

The order of the `<script>` tags is relevant, unfortunately, and sometimes keydown seems to spit out the "wrong" order and the highlighting doesn't work anymore :-(