do not reload HTML document on hiding/showin toc