HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;