「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; }