A HTML user interface.