Graphics.UI.Gtk.WebKit.DOM.HTMLFontElement
htmlFontElementSetColor
htmlFontElementGetColor
htmlFontElementSetFace
htmlFontElementGetFace
htmlFontElementSetSize
htmlFontElementGetSize