「MediaWiki:Common.css」の版間の差分
ナビゲーションに移動
検索に移動
(同じ利用者による、間の4版が非表示) | |||
11行目: | 11行目: | ||
pre, textarea{ |
pre, textarea{ |
||
font-family:"Dejavu Sans Mono", monospace; |
font-family:"Dejavu Sans Mono", monospace; |
||
+ | font-size:98%; |
||
} |
} |
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%; }