From ddbe4f666c8995d9506ecba0d71eb872d8510fc2 Mon Sep 17 00:00:00 2001 From: jonasrosland Date: Thu, 26 Mar 2020 10:01:18 -0400 Subject: [PATCH] Add documentation search to the site Signed-off-by: jonasrosland --- site/_includes/head-docs.html | 1 + site/_layouts/docs.html | 19 +++++++++++++++++-- 2 files changed, 18 insertions(+), 2 deletions(-) diff --git a/site/_includes/head-docs.html b/site/_includes/head-docs.html index 213090e9e..7241533af 100644 --- a/site/_includes/head-docs.html +++ b/site/_includes/head-docs.html @@ -5,5 +5,6 @@ + {% seo %} diff --git a/site/_layouts/docs.html b/site/_layouts/docs.html index ea99eb19b..85aa21431 100644 --- a/site/_layouts/docs.html +++ b/site/_layouts/docs.html @@ -27,8 +27,14 @@
- {% include versions.html %} - {% include nav.html %} + {% include versions.html %} +
+
+ + + +
+ {% include nav.html %}
{% include version-warning.html %} @@ -42,6 +48,15 @@ {% include footer.html %}
+ +