As you know, to get the body element of an HTML document in the JS language, you can simply write
var body = document.body; However, looking at the W3C DOM level 3 specification, I did not find where it says about this feature. Therefore, I would like to receive a link to the regulatory document, which describes the admissibility of such a construction.