「MediaWiki:Common.css」の版間の差分

提供: ArchWiki
ナビゲーションに移動 検索に移動
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;
}