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