Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Template to make the heading of a table of contents that is shown in the left part of #leftsidenav. This adds some space at the top so that the TOC is not above the first main heading on the content column.