Fix toc visibility in default.html