module GHCJS.DOM.HTMLDetailsElement ( module Graphics.UI.Gtk.WebKit.DOM.HTMLDetailsElement ) where import Graphics.UI.Gtk.WebKit.DOM.HTMLDetailsElement