Graphics.UI.Gtk.WebKit.DOM.HTMLPreElement
htmlPreElementSetWidth
htmlPreElementGetWidth
htmlPreElementSetWrap
htmlPreElementGetWrap