document.currentScript.insertAdjacentHTML('beforebegin', `
`); document.getElementById("push").style.height = document.getElementById("nav").offsetHeight + "px";