Hinweis: Leere nach dem Speichern den Browser-Cache, um die Änderungen sehen zu können.

  • Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
  • Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
  • Internet Explorer: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
  • Opera: Gehe zu Menü → Einstellungen (Opera → Einstellungen auf dem Mac) und dann auf Datenschutz & Sicherheit → Browserdaten löschen → Gespeicherte Bilder und Dateien.
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */

span.mw-headline {
   font-weight: bold;
   line-height: 2.5;
}

#firstHeading {
   font-weight: bold;
   text-decoration: underline;
   line-height: 2.5;
}

span.toctext {
   font-weight: bold; 
}

span.tocnumber {
   font-weight: bold; 
}

span.toctitle {
   display: none;
}

/* .toc>ul ul { margin-left:0 !important; } */