This makes it invisible too but doesn't make the toggle button be resized since its container is still the same width.
@@ -96,7 +96,7 @@ visibility_button.onclick = (function() {
var visible = true;
return function() {
visible = ! visible;
- toc_ltr.style = visible ? "" : "display: none;";
+ toc_ltr.style = visible ? "" : "height: 0px;";
}
})();