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
body {
font: 72% sans-serif;
letter-spacing:0.08em;
}
input[type="text"] { font-size: 120%; }
/*
** Diff rendering
*/
table.diff { background:white; }
td.diff-otitle { background:#ffffff; }
td.diff-ntitle { background:#ffffff; }
td.diff-addedline {
background:#ccffcc;
font-size: 94%;
}
td.diff-deletedline {
background:#ffffaa;
font-size: 94%;
}
td.diff-context {
background:#eeeeee;
font-size: 94%;
}
span.diffchange { color: red; }
}
input.searchButton {
margin-top:1px;
padding: 0 0.4em !important;
font-size: 95%;
cursor: pointer;
background-color: White;
border: 1px solid #2f6fab;
}
#searchInput {
border: 1px solid #2f6fab;
width:9.35em;
margin: 0 0 0 0;
font-size: 120%;