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

勤求古训,博采众方
删除的内容 添加的内容
无编辑摘要
无编辑摘要
第10行: 第10行:
/* Overwrites selector from MediaWiki:Common.css */
/* Overwrites selector from MediaWiki:Common.css */
div#editpage-specialchars {
div#editpage-specialchars {
margin:6px;
display: block;
display: block;
border: 1px solid #c0c0c0;
border: 1px solid #c0c0c0;
第21行: 第20行:
border: 1px solid #aaa;
border: 1px solid #aaa;
padding: 1px 4px;
padding: 1px 4px;
margin: 6px;
}
}



2022年12月4日 (日) 20:37的版本

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

/* Overwrites selector from MediaWiki:Common.css */
div#editpage-specialchars {
	display: block;
	border: 1px solid #c0c0c0;
	padding: .5em 1em;
}

#editpage-specialchars a {
    color:black;
	background-color: #f9f9f9;
	border: 1px solid #aaa;
	padding: 1px 4px;
    margin: 6px;
}

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