Hinweis: Leere nach dem Veröffentlichen 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/Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
  • Opera: Strg+F5
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */

/* Größerer Abstand vor Inhaltsverzeichnis & Hauptüberschriften */
div #toc { margin-top:16px; }
h2 { margin-top:14px; }

/* Abstände zwischen Anmerkungen */
ol.references > li { margin-bottom:6px; }

/* größerer Abstand nach Listenelementen */
.widelist ul li { margin-bottom: 20px; }
.widelist ul li ul li { margin-bottom: 0; }


/* Tabellenfarben */
table.octable1 > tr > th { background-color:#efedcd; }
table.octable1 > tr > td { background-color:#fbfbf3; }

/* Überschriftentiefe begrenzen */
.toclimit-2 .toclevel-1 ul,
.toclimit-3 .toclevel-2 ul,
.toclimit-4 .toclevel-3 ul,
.toclimit-5 .toclevel-4 ul { display: none; }

/* farbige Zwischenüberschriften */
p.ocp3 { color:#48798c; font-weight:bold; font-size:1.1em; margin:12px 0 0 0 }