A javascript library to generate HTML