humdrum-tools/humdrum-tools.github.io — pull request #1 by kroger (2014-06-08 19:20:33+00:00)
Title: Fix the kern lexer

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