Thanks to Hans for helping with the images. I ran into various other issues. When using enumerations, sometimes part of the text from a previous enumeration is repeated (usually math). I've attached a minimal example at the end. I am also struggling to get links within the HTML document to work, both for linking to enumerations and bibliography items—links to sections work. I will create a minimal example later. Then, is there a reason that -templates.css is not included in -div.html? This file contains, among other useful things, style tags for enumerations like description[detail=Theorem], div.description.Theorem { display: block ; } that can be used to style enumerations differently. Thanks (always), Matthias \usemodule[mathml] \setupbackend[export=yes,xhtml=yes] \setupenumerations [alternative=hanging, width=fit, right={~}, way=bysection, prefix=chapter, distance=0.5em, prefixsegments={chapter:section}] \defineenumeration[Theorem] [alternative=serried, width=fit, distance=.5\emwidth, text=Theorem, style=italic, title=yes, titlestyle=normal, prefix=yes, headcommand=\groupedcommand{}{.} ] \defineenumeration [Proof] [alternative=serried, width=fit, distance=\emwidth, text=Proof, number=no, headstyle=italic, headcommand=\groupedcommand{}{.}, title=yes, titlestyle=normal, closesymbol=\mathqed] \starttext \startsection[title=Introduction] \startTheorem[thm:euler] \startformula e^{\pi i}+1=0 \ . \stopformula \stopTheorem \startProof See (Euler1777). \stopProof \stopsection \stoptext