Make figure links in user manual point to top of image

docs/theme.css

@@ -101,6 +101,10 @@ body#md {
     padding-left: 2px;
 }
 
+.md a.target {
+    display:block;
+}
+
 /* Dark mode with side TOC on screen */
 @media screen {
     .md svg.diagram {

docs/user_manual.md.html

@@ -157,6 +157,11 @@ window.markdeepOptions = {onLoad: function() {
     document.getElementById("date").innerText = new Date().toISOString().split("T")[0];
     document.querySelectorAll("div.image").forEach(div => {
         div.replaceChild(div.children[0].children[0], div.children[0]);
+        const caption = div.querySelector("span.imagecaption");
+        if (caption !== null) {
+            const target = caption.querySelector("a.target");
+            div.parentElement.insertBefore(target, div);
+        }
     });
 }};
 </script>