styledtohtml(styledtext)
Converts styledtext (a character string with styles embedded using the style() function) into HTML (JavaScript client only, execute on client only)