“MediaWiki:Gadget-charinsert-styles.css”的版本间的差异
来自Wiki.Citydatum
小 （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...） |
小 （导入1个版本） |
（没有差异）
| |
2017年9月15日 (五) 07:26的最新版本
/* _____________________________________________________________________________
* | |
* | === 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;
}
