Graphics.UI.Gtk.WebKit.DOM.HTMLHRElement
htmlhrElementSetAlign
htmlhrElementGetAlign
htmlhrElementSetNoShade
htmlhrElementGetNoShade
htmlhrElementSetSize
htmlhrElementGetSize
htmlhrElementSetWidth
htmlhrElementGetWidth