#import <HTML/HTMLElement.idl> interface HTMLDetailsElement : HTMLElement { [Reflect] attribute boolean open; };