IntersectionObserver: support for domain object headers

mgeier · Sep 13, 2022 · c63a0e7 · c63a0e7
1 parent eccfb71
commit c63a0e7
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/insipid_sphinx_theme/insipid/static/insipid-sidebar.js_t b/src/insipid_sphinx_theme/insipid/static/insipid-sidebar.js_t
@@ -324,6 +324,17 @@
         if (id) {
             id = id.slice(1);
             section = document.getElementById(decodeURI(id));
+            // Detect API doc headers:
+            let single_definition_term = (
+                section.nodeName == 'DT' &&
+                section.nextElementSibling.nodeName == 'DD' &&
+                !section.nextElementSibling.nextElementSibling &&
+                section.parentElement.nodeName == 'DL');
+            if (single_definition_term) {
+                // The <dl> contains only a single <dt> + <dd>,
+                // therefore we can observe the whole <dl>.
+                section = section.parentElement;
+            }
         } else {
             // NB: The first section has no hash, so we don't know its ID:
             section = document.querySelector('div.body .section, div.body section');