From 84035e74760534913f0b2d44e4d5d955c34a2b48 Mon Sep 17 00:00:00 2001
From: Jon Galloway <jongalloway@gmail.com>
Date: Wed, 26 Aug 2015 16:42:41 -0700
Subject: [PATCH] Hide nav scrollbar if unneeded

---
 common/_static/custom.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/common/_static/custom.css b/common/_static/custom.css
index 4b15ea44d7..73dfaa1d96 100644
--- a/common/_static/custom.css
+++ b/common/_static/custom.css
@@ -17,6 +17,7 @@ h1, h2, h3, h4, h5, h6, legend {
 
 .wy-nav-side {
     background: #ddd;
+    overflow-y: auto;
 }
 
 .wy-side-nav-search {
@@ -145,4 +146,4 @@ h1, h2, h3, h4, h5, h6, legend {
 .btn-neutral:hover {
     background-color: #0054a3 !important;
     color: #fff !important;
-}
\ No newline at end of file
+}