I am trying to write as simple HTML editor, I have managed to get colours to work and the font names but how do I get the font style information? There does not seem to be a getstyle function.
Also how to I convert the the size integer into a string?