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

Hides the original first heading inserted by MediaWiki, assuming that it is marked with the CSS id #firstheading. Note that we do not hide h1 elements of class "firstheading" since this can still be useful to create main heading lookalikes elsewhere on the page.