MediaWiki:Gadget-charinsert-styles.css：修订间差异

2025年10月26日 (日) 23:41的版本

/*  _____________________________________________________________________________
 * |                                                                             |
 * |                    === WARNING: GLOBAL GADGET FILE ===                      |
 * |                  Changes to this page affect many users.                    |
 * |        Please discuss changes on the talk page before editing.              |
 * |_____________________________________________________________________________|
 *
 */

/* Overwrites selector from MediaWiki:Common.css */
div#editpage-specialchars {
	display: block;
	border: 1px solid var( --border-color-base, #a2a9b1 );
	padding: .5em 1em;
}

#editpage-specialchars a {
	background-color: var( --background-color-interactive-subtle, #f8f9fa );
    color: var( --color-progressive, #36c );
	border: 1px solid var( --border-color-interactive, #72777d );
	padding: 1px 4px;
}

textarea#wpTextbox1 + #editpage-specialchars,
.wikiEditor-ui-clear + #editpage-specialchars {
	border-top: 0;
}