Add an anchor node to cover the bottom margin of last page in pdf viewer

viewer/components/refresh.ts

@@ -206,6 +206,18 @@ function addMasks() {
         div.appendChild(img)
         viewerContainer.appendChild(div)
         div.style.display = 'inherit'
+
+        // This workaround is for the last page of the document.
+        const anchor = document.createElement('div')
+        anchor.className = 'page-loading-anchor'
+        masks.push(anchor)
+        anchor.style.display = 'inherit'
+        anchor.style.position = 'absolute'
+        anchor.style.left = pageBound.x - viewerBound.x + 'px'
+        anchor.style.top = pageBound.y - viewerBound.y + pageBound.height + 'px'
+        anchor.style.width = '10px'
+        anchor.style.height = '10px'
+        viewerContainer.appendChild(anchor)
     }
     return masks
 }

viewer/latexworkshop.css

@@ -217,8 +217,6 @@ html[dir='rtl'] .findbar {
 }
 
 .page-loading-mask {
-    padding: 0;
-    margin: 0;
     border: none;
     box-shadow: 0px 0px 0px 1px lightgrey;
     outline: none;