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;
}