A framework for building dynamic user interfaces in HTML