The DomUI user interface library