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: Extras → Internetspuren löschen … → Individuelle Auswahl → Den kompletten Cache löschen
• Konqueror: Aktualisieren anklicken oder F5 drücken

div.mw-geshi {
 padding: 1em;
 border: 1px dashed #2f6fab;
 color: black;
 background-color: #f9f9f9;
 line-height: 1.1em;
 margin-top: 1em;
 margin-bottom: 1em;
 overflow: auto;
}
 
div.mw-geshi pre {
 border: none;
 background-color: transparent;
 margin: 0;
 padding: 0;
}
 
div.mw-geshi li {
 line-height: 1.1em;
 padding: 0;
 padding-left: .8em;
 margin: 0;
 border-left: 1px solid #d0d0d0;
}
 
div.mw-geshi ol {
 font-family: monospace,"Courier New";
 color: #808080;
}