MediaWiki:Gadget-charinsert-styles.css: Unterschied zwischen den Versionen
(CSS für die Sonderzeichenliste unter dem Bearbeitungsfenster) |
(kein Unterschied)
|
Aktuelle Version vom 22. September 2019, 12:38 Uhr
/*
* CSS-Einstellungen der Sonderzeichenliste.
* Achtung: Wirkt sich auf alle Benutzer aus!
*/
div#editpage-specialchars {
display: block;
border: 1px solid #c0c0c0;
padding: .5em 1em;
}
#editpage-specialchars a {
background-color: #f9f9f9;
border: 1px solid #ddd;
padding: 1px 4px;
}
textarea#wpTextbox1 + #editpage-specialchars,
.wikiEditor-ui-clear + #editpage-specialchars {
border-top: 0;
}