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
  • Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
img.thumbborder {
	border: 1px solid #c0c0c0;
}
 
div.thumb {
	margin-bottom: .5em;
	border-style: solid;
	border-color: white;
	width: auto;
}
 
td.diff-deletedline span.diffchange  {
    font-weight: bold;
    color: black  !important;
    background-color: #FFFF80 !important;
}
 
td.diff-addedline span.diffchange {
    font-weight: bold;
    color: black  !important;
    background-color: #40D040 !important;
}
 
td.diff-addedline {
    background-color: #A0FFA0;
}
 
td.diff-deletedline {
    background-color: #FFC0C0;
}
 
td.diff-context {
    background-color: #FFFFA0;
}
 
#bodyContent a.external {
    background: none !important; 
    color: #008000 !important;
    padding: 0 !important;
}
 
ol.references {
    font-size: 90%;
}