From 2693e49e06a0bc680a78c3c075c327446383ece7 Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Tue, 26 Sep 2017 18:22:53 +0300
Subject: [PATCH] Remove unneeded `docsearch` variable.

---
 _includes/scripts.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/_includes/scripts.html b/_includes/scripts.html
index f457828ad9..0af5f5c695 100644
--- a/_includes/scripts.html
+++ b/_includes/scripts.html
@@ -24,7 +24,7 @@
 {% if page.layout == "docs" %}
 <script src="https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.js"></script>
 <script>
-  var docsearch = docsearch({
+  docsearch({
     apiKey: '48cb48b22351bc71ea5f12f4d1ede198',
     indexName: 'bootstrap-v4',
     inputSelector: '#search-input',
@@ -46,10 +46,10 @@
 {% endif %}
 
 <script>
-Holder.addTheme('gray', {
-  bg: '#777',
-  fg: 'rgba(255,255,255,.75)',
-  font: 'Helvetica',
-  fontweight: 'normal'
-});
+  Holder.addTheme('gray', {
+    bg: '#777',
+    fg: 'rgba(255,255,255,.75)',
+    font: 'Helvetica',
+    fontweight: 'normal'
+  });
 </script>