A compact library to simplify HTML-based GUIs.