From e08152ed03639cfa0592678840b4b8d0b98aa19b Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han
Date: Sun, 14 Aug 2016 11:24:04 +0800
Subject: Update toc styles to make toc menu always accessible without
 scrolling

---
 public/css/extra.css | 7 ++++++-
 public/js/extra.js   | 4 +++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/public/css/extra.css b/public/css/extra.css
index 96cdac3d..9d29cf9a 100644
--- a/public/css/extra.css
+++ b/public/css/extra.css
@@ -130,11 +130,16 @@
     padding-right: 10px;
     max-width: 45vw;
     width: 25vw;
-    max-height: 65vh;
+    max-height: 70vh;
     overflow: auto;
     text-align: inherit;
 }
 
+.ui-toc-dropdown > .toc {
+    max-height: calc(70vh - 100px);
+    overflow: auto;
+}
+
 .ui-toc-dropdown[dir='rtl'] .nav {
     padding-right: 0;
     letter-spacing: 0.0029em;
diff --git a/public/js/extra.js b/public/js/extra.js
index 40496967..824b78d1 100644
--- a/public/js/extra.js
+++ b/public/js/extra.js
@@ -595,6 +595,7 @@ function generateToc(id) {
     });
     if (target.text() == 'undefined')
         target.html('');
+    var tocMenu = $('<div class="toc-menu"></div');
     var toggle = $('<a class="expand-toggle" href="#">Expand all</a>');
     var backtotop = $('<a class="back-to-top" href="#">Back to top</a>');
     var gotobottom = $('<a class="go-to-bottom" href="#">Go to bottom</a>');
@@ -619,7 +620,8 @@ function generateToc(id) {
             scrollToBottom();
         removeHash();
     });
-    target.append(toggle).append(backtotop).append(gotobottom);
+    tocMenu.append(toggle).append(backtotop).append(gotobottom);
+    target.append(tocMenu);
 }
 
 //smooth all hash trigger scrolling
-- 
cgit v1.2.3