From b35757b51665eca6cb0c9e413133001dc83940ae Mon Sep 17 00:00:00 2001
From: Robin Dunn <robin@alldunn.com>
Date: Fri, 11 Oct 2019 12:56:40 -0700
Subject: [PATCH] Allow the top bar to scroll and not stay stuck at the top of
 the window

---
 docs/sphinx/_static/css/phoenix.css | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/docs/sphinx/_static/css/phoenix.css b/docs/sphinx/_static/css/phoenix.css
index e652f67c..b430b9aa 100644
--- a/docs/sphinx/_static/css/phoenix.css
+++ b/docs/sphinx/_static/css/phoenix.css
@@ -110,8 +110,10 @@ div.document {
   background-color: rgb(230,230,230);
   position: relative;
   margin-left: 240px;
-  z-index: 0;
-  top: 30px;
+}
+
+div.sphinxsidebarwrapper {
+    padding: 10px 5px 0 10px;
 }
 
 div.document-no-sidebar {
@@ -125,13 +127,12 @@ div.document-no-sidebar {
 div.sphinxsidebar {
     background-color: rgb(230,230,230);
     margin-left: 0;
-    float: none;
-    position: fixed;
-    overflow: auto;
     width: 240px;
     max-width: 240px;
     height: auto;
-    z-index: 1;
+    float: none;
+    overflow: auto;
+    position: fixed;
     left: 0;
     top: 30px;
     bottom: 0;
@@ -153,11 +154,8 @@ div.related {
     border-top: 1px solid #ddd;
     border-bottom: 1px solid #ddd;
     font-size: 90%;
-    position: fixed;
     line-height: normal;
-    position: fixed;
     height: auto;
-    z-index: 1;
     left: 0;
     right: 0;
     top: 0;