HTMLDetailsElement

fun HTMLDetailsElement()