/*
* Works with the HTML emitted by pandoc. It would better if pandoc
* were to emit class names that we can use. But it doesn't.
/*
* Works with the HTML emitted by pandoc. It would better if pandoc
* were to emit class names that we can use. But it doesn't.