Graphics.UI.Gtk.WebKit.DOM.HTMLFontElement
htmlFontElementSetColor
htmlFontElementGetColor
htmlFontElementSetFace
htmlFontElementGetFace
htmlFontElementSetSize
htmlFontElementGetSize
data HTMLFontElement
class HTMLFontElementClass o
castToHTMLFontElement
gTypeHTMLFontElement
toHTMLFontElement