https://griddle-reviews.blogspot.com/2023/07/jquery-resize-document-height.html