From a368b98fc0c5e8a91072b2a1605923969c6be2de Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joakim=20S=C3=B8rensen?= Date: Wed, 5 Apr 2023 08:49:19 +0200 Subject: [PATCH] Add algolia docsearch (#26861) --- source/_includes/head.html | 2 ++ source/_includes/search.html | 54 ++++++++---------------------------- 2 files changed, 14 insertions(+), 42 deletions(-) diff --git a/source/_includes/head.html b/source/_includes/head.html index eb046acc042..2b752b7bd7b 100644 --- a/source/_includes/head.html +++ b/source/_includes/head.html @@ -32,4 +32,6 @@ + + diff --git a/source/_includes/search.html b/source/_includes/search.html index e93a1624bc7..d9d4594d378 100644 --- a/source/_includes/search.html +++ b/source/_includes/search.html @@ -1,5 +1,5 @@