document.addEventListener("DOMContentLoaded", () => { // The search widget should only be visible if we're in the options page. Else, we // want it hidden. if (window.location.pathname.endsWith("options.html")) { const searchBar = document.createElement("div"); searchBar.id = "search-bar"; searchBar.innerHTML = `
`; document.body.prepend(searchBar); const dtElements = document.querySelectorAll("dt"); const ddElements = document.querySelectorAll("dd"); if (dtElements.length === 0 || ddElements.length === 0) { console.warn( "No