From eac911d12b7d1274f9185a1f6b9af1648796982b Mon Sep 17 00:00:00 2001
From: Gaby Marraro <marrarogaby@gmail.com>
Date: Mon, 16 Oct 2017 14:56:57 +0000
Subject: [PATCH] freeze search bar in documentation pane

---
 docs/docs.css | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/docs/docs.css b/docs/docs.css
index 051928a..bb461d2 100644
--- a/docs/docs.css
+++ b/docs/docs.css
@@ -147,7 +147,12 @@ div.search {
     width: 98%; 
     margin-left: 1%;
     margin-right: 1%;
-    margin-top: 5px;
+    margin-top: 0px;
+    padding-top: 0px;
+    height: 45px;
+    z-index: 9999;
+    position: fixed;
+    background-color: #FFFFFF;
 }
 
 #searchbar {
@@ -167,7 +172,7 @@ div.search {
     font-family: "Open Sans", sans-serif;
     font-size: 20px;
     box-shadow: none;
-    display: block;
+    display: inline-block;
     padding: 10px;
     width: 100%;
 }