https://developer.mozilla.org/en-US/docs/Web/API/HTMLPreElement
HTMLPreElement - Web APIs | MDN
The HTMLPreElement interface exposes specific properties and methods (beyond those of the HTMLElement interface it also has available to it by inheritance) for...
web apismdn
https://docs.oracle.com/javase/jp/10/docs/api/org/w3c/dom/html/HTMLPreElement.html
HTMLPreElement (Java SE 10 & JDK 10 )
java sejdk