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