MediaWiki:Gadget-charinsert-styles.css:修订间差异
外观
小无编辑摘要 |
小无编辑摘要 |
||
| 第9行: | 第9行: | ||
/* Overwrites selector from MediaWiki:Common.css */ | /* Overwrites selector from MediaWiki:Common.css */ | ||
#editpage-specialchars a { | #editpage-specialchars a { | ||
/* 保留第一段的背景色变量,兜底值不变 */ | |||
background-color: var(--background-color-interactive-subtle, #f8f9fa); | |||
/* 文字颜色:优先用变量,兜底为黑色(第二段的black) */ | |||
color: var(--color-progressive, black); | |||
border: 1px solid #cbcbcb; | /* 边框色:优先用变量,兜底为浅灰色(第二段的#cbcbcb) */ | ||
border: 1px solid var(--border-color-interactive, #cbcbcb); | |||
/* 加入第二段的半粗体设置 */ | |||
font-weight: 600; | |||
padding: 1px 4px; | padding: 1px 4px; | ||
} | } | ||
| 第33行: | 第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:57的版本
/* _____________________________________________________________________________
* | |
* | === 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%;
}