From 7c98fbc9366fe0c20ee53e50d4d04d2f523b2f82 Mon Sep 17 00:00:00 2001
From: Jesse Tan <jessetan@users.noreply.github.com>
Date: Sat, 17 Feb 2018 16:46:52 +0100
Subject: [PATCH] Allow versions popup to scroll (#576)

* Make rst-versions scrollable when expanded

* Remove top border

* Do not use entire height unless necessary
---
 sass/_theme_badge.sass | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/sass/_theme_badge.sass b/sass/_theme_badge.sass
index e2ba80ba..3ba3b66e 100644
--- a/sass/_theme_badge.sass
+++ b/sass/_theme_badge.sass
@@ -2,10 +2,10 @@
   position: fixed
   bottom: 0
   left: 0
+  overflow-y: scroll
   width: $nav-desktop-width
   color: $section-background-color
   background: darken($menu-background-color, 8%)
-  border-top: solid 10px $menu-background-color
   font-family: $base-font-family
   z-index: $z-index-tray
   a
@@ -34,6 +34,8 @@
     &.rst-active-old-version
       background-color: $yellow
       color: $black
+  &.shift-up
+    max-height: 100%
   &.shift-up .rst-other-versions
     display: block
   .rst-other-versions