n=l?l.offsetHeight:0;g&&(m=f?119:0 k=f?null:d.getElementById("docs-additional-bars");k=k?k.offsetHeight:0;var l=d.getElementById("grid-bottom-bar") Added on July 5, 2025
