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; |
2022年12月4日 (日) 20:35的版本
/* _____________________________________________________________________________
* | |
* | === 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 {
margin:6px;
display: block;
border: 1px solid #c0c0c0;
padding: .5em 1em;
}
#editpage-specialchars a {
color:black;
background-color: #f9f9f9;
border: 1px solid #aaa;
padding: 1px 4px;
}
textarea#wpTextbox1 + #editpage-specialchars,
.wikiEditor-ui-clear + #editpage-specialchars {
border-top: 0;
}