I recently updatet spqr/toc to version
There have been minor problems:
If the toc was empty, the
olelement has still been rendered. Thanks to the developer of tocbot this is no longer the case. I added a CSS snippet, that hides the
.tocdiv if it's empty.