Workaround: Make sure the runestone dropdown always works

Author: bnmnetp

runestone/common/js/pretext.js

@@ -27,4 +27,5 @@ function setupPTXEvents() {
 window.addEventListener("load", function () {
     console.log("setting up pretext");
     setupPTXEvents();
+    document.getElementById("primary-navbar-sticky-wrapper").style.overflow="visible"
 });