Fix the kern lexer

- Also fix a couple of code-blocks for demonstration
- Remove the unused default2 html theme