MediaWiki:Gadget-charinsert-styles.css
来自Wiki.Citydatum
Anomie(讨论)2017年7月15日 (六) 07:25的版本 (Anomie moved page MediaWiki:Gadget-charinsert-core.css to MediaWiki:Gadget-charinsert-styles.css without leaving a redirect: Fix charinsert gadget style loading when JS is disabled by splitting the styles into a separate type=styles hidden gadg...)
/* _____________________________________________________________________________
* | |
* | === WARNING: GLOBAL GADGET FILE === |
* | Changes to this page affect many users. |
* | Please discuss changes on the talk page or on [[WT:Gadget]] before editing. |
* |_____________________________________________________________________________|
*
*/
div#editpage-specialchars {
display: block;
border: 1px solid #c0c0c0;
padding: .5em;
}
div#editpage-specialchars a {
background-color: #f9f9f9;
border: 1px solid #ddd;
padding: 1px 4px;
}
textarea#wpTextbox1 + div#editpage-specialchars,
div.wikiEditor-ui-clear + div#editpage-specialchars {
border-top: none;
}