From 7ea3e27ab7fcf9adfb5b74758d18ce8507102e22 Mon Sep 17 00:00:00 2001 From: fzaninotto Date: Thu, 25 Jul 2019 10:51:32 +0200 Subject: [PATCH] Switch search engine to algolia --- docs/_layouts/default.html | 11 +- docs/css/style.css | 333 ++++++++++++++++++------------------- 2 files changed, 173 insertions(+), 171 deletions(-) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 56a5b78a58b..d01fd5e2dac 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -16,6 +16,7 @@ + @@ -23,7 +24,7 @@