Add docsearch css to head

FildonPrime · Aug 2, 2017 · 3c7d4e7 · 3c7d4e7
1 parent 6b95cd5
commit 3c7d4e7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/themes/navy/layout/partial/head.swig b/themes/navy/layout/partial/head.swig
@@ -33,6 +33,7 @@
   <!-- endbuild -->
   <link href="https://fonts.googleapis.com/css?family=Lato:300,400,700" rel="stylesheet" type="text/css">
   <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css">
+  <link rel="stylesheet" href="https://cdn.jsdelivr.net/docsearch.js/1/docsearch.min.css">
   <!-- RSS -->
   {{ feed_tag('atom.xml') }}
   <!-- Open Graph -->