「MediaWiki:Common.css」の版間の差分
ナビゲーションに移動
検索に移動
| 13行目: | 13行目: | ||
font-size:98%; |
font-size:98%; |
||
} |
} |
||
| − | pre + .mw-highlight pre{ |
+ | pre.shhc + .mw-highlight pre{ |
margin-top:0;border-top-style:dashed;padding-top:0.8em; |
margin-top:0;border-top-style:dashed;padding-top:0.8em; |
||
} |
} |
||
2016年10月15日 (土) 19:01時点における版
/* Template:Pkg, Template:AUR, Template:Grp */
span.archwiki-template-pkg {
font-family: monospace;
}
.mw-body a.extiw:visited{
color:#666;
}
code{
border:0;
}
pre, textarea{
font-family:"Dejavu Sans Mono", monospace;
font-size:98%;
}
pre.shhc + .mw-highlight pre{
margin-top:0;border-top-style:dashed;padding-top:0.8em;
}