MediaWiki:Gadget-charinsert-styles.css：修订间差异
删除的内容 添加的内容
小无编辑摘要 |
小无编辑摘要 |
||
| （未显示2个用户的4个中间版本） | |||
| 第16行： | 第16行： | ||
p#edittoolsp { |
p#edittoolsp { |
||
line-height:120%; |
|||
line-height:2; |
|||
} |
} |
||
#editpage-specialchars a { |
#editpage-specialchars a { |
||
font-family: NSimSun; |
|||
font-weight: 600; |
|||
color:black; |
color:black; |
||
background-color: # |
background-color: #f8f9fa; |
||
border: 1px solid # |
border: 1px solid #cbcbcb; |
||
padding: 1px 4px; |
padding: 1px 4px; |
||
} |
} |
||
2022年12月13日 (二) 13:18的最新版本
/* _____________________________________________________________________________
* | |
* | === 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;
}
p#edittoolsp {
line-height:120%;
}
#editpage-specialchars a {
font-family: NSimSun;
font-weight: 600;
color:black;
background-color: #f8f9fa;
border: 1px solid #cbcbcb;
padding: 1px 4px;
}
textarea#wpTextbox1 + #editpage-specialchars,
.wikiEditor-ui-clear + #editpage-specialchars {
border-top: 0;
}