diff --git a/docs/custom_theme/partials/search.html b/docs/custom_theme/partials/search.html new file mode 100644 index 00000000000..ae2dbfa6cc9 --- /dev/null +++ b/docs/custom_theme/partials/search.html @@ -0,0 +1,52 @@ + + +{% import "partials/language.html" as lang with context %} + + +