diff --git a/sphinx/themes/basic/static/searchtools.js b/sphinx/themes/basic/static/searchtools.js
index 943507508..35341f165 100644
--- a/sphinx/themes/basic/static/searchtools.js
+++ b/sphinx/themes/basic/static/searchtools.js
@@ -48,7 +48,7 @@ if (!Scorer) {
 }
 
 const _removeChildren = (element) => {
-  while (element.lastChild) element.removeChild(element.lastChild);
+  while (element && element.lastChild) element.removeChild(element.lastChild);
 };
 
 /**
@@ -208,9 +208,11 @@ const Search = {
     Search.status = out.appendChild(searchSummary);
     Search.output = out.appendChild(searchList);
 
-    document.getElementById("search-progress").innerText = _(
-      "Preparing search..."
-    );
+    const searchProgress = document.getElementById("search-progress");
+    // Not all themes may have this element.
+    if (searchProgress) {
+      searchProgress.innerText = _("Preparing search...");
+    }
     Search.startPulse();
 
     // index already loaded, the browser was quick!