An HTML frontend to Sanskrit dictionaries modelled in TEI.