{% extends "pydata_sphinx_theme/layout.html" %} {% block extrahead %} {{ super() }} {% if pagename == 'search' %} {# Search tools are already loaded on search page. Don't load them twice. #} {% else %} {# Load Sphinx's built-in search tools so that our custom inline search experience can work on any page. See //docs/_static/js/pigweed.js #} {% endif %} {% endblock extrahead %}