From 8b9e0348af557a14f2226f68f9d9e55fa7cc06fe Mon Sep 17 00:00:00 2001
From: JJ Geewax <jjg@google.com>
Date: Thu, 7 May 2015 11:23:35 -0400
Subject: [PATCH] Fix #534 - Nav bar is fixed and scrollable.

---
 docs/site/css/main.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/site/css/main.css b/docs/site/css/main.css
index 1444b34a997..2b9d62032fe 100755
--- a/docs/site/css/main.css
+++ b/docs/site/css/main.css
@@ -1359,13 +1359,14 @@ ul {
     }
 
     .side-nav {
-        position: absolute;
+        position: fixed;
         top: 0;
         left: 0;
         bottom: 0;
         width: 240px;
         padding-top: 7.7em;
         font-size: 0.9em;
+        overflow-y: auto;
     }
 
     .side-nav a {