{% extends "!search.html" %} {% set script_files = [ '_static/documentation_options_patch.js', '_static/language_data.js' ] + script_files %}