MediaWiki:Gadget-charinsert-styles.css:修订间差异
外观
小无编辑摘要 标签:已被回退 |
小无编辑摘要 标签:手工回退 |
||
| 第25行: | 第25行: | ||
.wikiEditor-ui-clear + #editpage-specialchars { | .wikiEditor-ui-clear + #editpage-specialchars { | ||
border-top: 0; | border-top: 0; | ||
} | |||
p#edittoolsp { | |||
line-height:120%; | |||
} | } | ||
2025年10月29日 (三) 09:58的版本
/* _____________________________________________________________________________
* | |
* | === 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 */
#editpage-specialchars a {
/* 保留第一段的背景色变量,兜底值不变 */
background-color: var(--background-color-interactive-subtle, #f8f9fa);
/* 文字颜色:优先用变量,兜底为黑色(第二段的black) */
color: var(--color-progressive, black);
/* 边框色:优先用变量,兜底为浅灰色(第二段的#cbcbcb) */
border: 1px solid var(--border-color-interactive, #cbcbcb);
/* 加入第二段的半粗体设置 */
font-weight: 600;
padding: 1px 4px;
}
textarea#wpTextbox1 + #editpage-specialchars,
.wikiEditor-ui-clear + #editpage-specialchars {
border-top: 0;
}
p#edittoolsp {
line-height:120%;
}