There is a weird interaction between the resize handler and the overflow scrollers, sometimes making it impossible to select the resize handler anymore. Always display the toggle button to at least have that as a fallback.
@@ -105,9 +105,7 @@ visibility_button.onclick = (function() {
}
})();
-if (! has_css_resize) {
- toc.appendChild(visibility_button);
-}
+toc.appendChild(visibility_button);
if (article_titles.snapshotLength > 0) {
toc_ltr.appendChild(h1_articles);
toc_ltr.appendChild(ol_articles);