/* RTD Search integration */ document.addEventListener("DOMContentLoaded", function(event) { // Trigger Read the Docs' search addon instead of Material MkDocs default document.querySelector(".md-search__input").addEventListener("focus", (e) => { const event = new CustomEvent("readthedocs-search-show"); document.dispatchEvent(event); }); }); /* RTD version selector */ // Use CustomEvent to generate the version selector document.addEventListener( "readthedocs-addons-data-ready", function (event) { const config = event.detail.data(); const versioning = `