「MediaWiki:Common.css」の版間の差分
ナビゲーションに移動
検索に移動
| 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月15日 (土) 18:44時点における版
/* 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%;
}
.mw-highlight pre{
margin-top:0;border-top-style:dashed;padding-top:0.8em;
}