Graphics.UI.Gtk.WebKit.DOM.HTMLDirectoryElement
htmlDirectoryElementSetCompact
htmlDirectoryElementGetCompact