From 44ed776ec2e1bd5cae3e7f2362dbcce1a6039382 Mon Sep 17 00:00:00 2001
From: Kendall Totten <kendalltotten@gmail.com>
Date: Wed, 20 May 2020 10:32:07 -0400
Subject: [PATCH] Make navigation bar sticky

---
 web/css/json-editor.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/web/css/json-editor.css b/web/css/json-editor.css
index a6cc077..b7d114c 100644
--- a/web/css/json-editor.css
+++ b/web/css/json-editor.css
@@ -61,6 +61,11 @@ color: #0eb3e4;
   position: relative;
 }
 /* Styles for the navbar */
+.navbar-inverse {
+  position: sticky;
+  top: 0;
+  z-index: 2;
+}
 .navbar-inverse .navbar-nav > li > a {
   color: #fff;
   font-weight: 400;
@@ -445,4 +450,4 @@ hr {
   border-top: 1px solid #bbb;
   margin-top: 30px;
   margin-bottom: 30px;
-}
\ No newline at end of file
+}