From 2f26b15995f1b92b696dce58c3145b77deb90d7c Mon Sep 17 00:00:00 2001
From: Ian Johnson <ian@ianjohnson.dev>
Date: Sun, 3 Sep 2023 23:19:41 -0400
Subject: [PATCH] Autodoc: fix search results navigation

Closes #17013
---
 lib/docs/main.js | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

diff --git a/lib/docs/main.js b/lib/docs/main.js
index 8338aca658..5f090a3a49 100644
--- a/lib/docs/main.js
+++ b/lib/docs/main.js
@@ -4013,9 +4013,10 @@ Happy writing!
       return;
     }
 
-    let liDom = domListSearchResults.children[curSearchIndex];
-    if (liDom == null && domListSearchResults.children.length !== 0) {
-      liDom = domListSearchResults.children[0];
+    const searchResults = domListSearchResults.getElementsByTagName("li");
+    let liDom = searchResults[curSearchIndex];
+    if (liDom == null && searchResults.length !== 0) {
+      liDom = searchResults[0];
     }
     if (liDom != null) {
       let aDom = liDom.children[0];
@@ -4110,14 +4111,15 @@ Happy writing!
   }
 
   function moveSearchCursor(dir) {
+    const searchResults = domListSearchResults.getElementsByTagName("li");
     if (
       curSearchIndex < 0 ||
-      curSearchIndex >= domListSearchResults.children.length
+      curSearchIndex >= searchResults.length
     ) {
       if (dir > 0) {
         curSearchIndex = -1 + dir;
       } else if (dir < 0) {
-        curSearchIndex = domListSearchResults.children.length + dir;
+        curSearchIndex = searchResults.length + dir;
       }
     } else {
       curSearchIndex += dir;
@@ -4125,8 +4127,8 @@ Happy writing!
     if (curSearchIndex < 0) {
       curSearchIndex = 0;
     }
-    if (curSearchIndex >= domListSearchResults.children.length) {
-      curSearchIndex = domListSearchResults.children.length - 1;
+    if (curSearchIndex >= searchResults.length) {
+      curSearchIndex = searchResults.length - 1;
     }
     renderSearchCursor();
   }
@@ -4465,8 +4467,9 @@ Happy writing!
   
 
   function renderSearchCursor() {
-    for (let i = 0; i < domListSearchResults.children.length; i += 1) {
-      let liDom = domListSearchResults.children[i];
+    const searchResults = domListSearchResults.getElementsByTagName("li");
+    for (let i = 0; i < searchResults.length; i += 1) {
+      let liDom = searchResults[i];
       if (curSearchIndex === i) {
         liDom.classList.add("selected");
       } else {