「MediaWiki:Common.css」の版間の差分
ナビゲーションに移動
検索に移動
| 11行目: | 11行目: | ||
pre, textarea{ |
pre, textarea{ |
||
font-family:"Dejavu Sans Mono", monospace; |
font-family:"Dejavu Sans Mono", monospace; |
||
| + | font-size:98%; |
||
} |
} |
||
2015年2月3日 (火) 15:40時点における版
/* 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%;
}