From 7d720b2655eb09d29018f0de6740f04f1335d5ae Mon Sep 17 00:00:00 2001
From: Stefan Breunig <stefan@mathphys.fsk.uni-heidelberg.de>
Date: Sat, 16 Feb 2013 01:21:44 +0100
Subject: [PATCH] allow sidebar to grow if the browser window becomes larger

---
 code/boot.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/boot.js b/code/boot.js
index a3540120..b940911e 100644
--- a/code/boot.js
+++ b/code/boot.js
@@ -275,7 +275,7 @@ function boot() {
   // sidebar is now at final height. Adjust scrollwrapper so scrolling
   // is possible for small screens and it doesn’t block the area below
   // it.
-  $('#scrollwrapper').css('max-height', $('#sidebar').height() + 'px');
+  $('#scrollwrapper').css('max-height', $('#sidebar').get(0).scrollHeight + 'px');
 
   // workaround for #129. Not sure why this is required.
   setTimeout('window.map.invalidateSize(false);', 500);