GHCJS.DOM.HTMLDetailsElement