「MediaWiki:Common.css」の版間の差分
ナビゲーションに移動
検索に移動
(同じ利用者による、間の2版が非表示) | |||
12行目: | 12行目: | ||
font-family:"Dejavu Sans Mono", monospace; |
font-family:"Dejavu Sans Mono", monospace; |
||
font-size:98%; |
font-size:98%; |
||
− | } |
||
− | .mw-highlight pre{ |
||
− | margin-top:0;border-top-style:dashed;padding-top:0.8em; |
||
} |
} |
2016年10月16日 (日) 00:56時点における最新版
/* 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%; }