Keep relative anchors in inherited docs that still point to an existing element ID.

TODO/_current.md

@@ -1,9 +1,5 @@
 # Documentation
 
-* Check if anchor href in `insertedDocs` is just an anchor for an ID that exists in the current document.
-    - If not, patch to go to the page + #anchor (already implemented).
-    - If ID is found, do not patch.
-
 * Relative links in "Properties from" imported section are not patched.
     - See `zero_ui/button/struct.Button.html` the `child_insert` link.
 

zero-ui-app-proc-macros/js/widget.js

@@ -383,8 +383,11 @@
 
         insertedDocs.forEach(function (e) {
             e.el.querySelectorAll('a').forEach(function (a) {
-                let url = new URL(a.getAttribute('href'), e.url);
-                a.setAttribute('href', url.href);
+                let href_str = a.getAttribute('href');
+                if (!href_str.startsWith('#') || this.document.getElementById(href_str.slice(1)) === null) {
+                    let url = new URL(href_str, e.url);
+                    a.setAttribute('href', url.href);
+                }
             });
         });
     }