diff --git dreditor.user.js dreditor.user.js
index 2cbb862..13ec9c3 100644
--- dreditor.user.js
+++ dreditor.user.js
@@ -2087,8 +2087,8 @@ styles.innerHTML = " \
 .dreditor-button:hover, #content a.dreditor-button:hover { background-position: 0 -1100px; } \
 .dreditor-button { margin: 0 0.5em 0 0; } \
 table .dreditor-button { margin-left: 1em; } \
-#dreditor #menu { margin: 0; max-height: 30%; overflow-y: scroll; padding: 0; } \
-#dreditor #menu li { list-style: none; margin: 0; overflow: hidden; padding: 0 0.5em 0 0; white-space: nowrap; } \
+#dreditor #menu { margin: 0; max-height: 30%; overflow: auto; padding: 0; } \
+#dreditor #menu li { list-style: none; margin: 0; padding: 0 0.5em 0 0; white-space: nowrap; } \
 #dreditor #menu li li { padding: 0 0 0 1em; } \
 #dreditor #menu > li > a { display: block; padding: 0 0 0 0.2em; background-color: #f0f0f0; } \
 #dreditor a { text-decoration: none; } \