From c709ce19a5bebee1cd3f083b0e2d924eb251c729 Mon Sep 17 00:00:00 2001
From: Maxime Locqueville <maxiloc@gmail.com>
Date: Sun, 28 May 2017 18:50:53 +0200
Subject: add docsearch

---
 docs/_includes/header.html | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'docs/_includes/header.html')

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index 57415be54..fd9a9a28c 100644
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -19,6 +19,9 @@
 {% endif %}
 
 <!-- Documentation extras -->
+{% if page.layout == "docs" %}
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.css" />
+{% endif %}
 <link href="{{ site.baseurl }}/assets/css/docs.min.css" rel="stylesheet">
 
 <!-- Favicons -->
-- 
cgit v1.2.3