「MediaWiki:Common.css」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
| 13行目: | 13行目: | ||
font-size:98%; |
font-size:98%; |
||
} |
} |
||
.mw-highlight pre{ |
pre + .mw-highlight pre{ |
||
margin-top:0;border-top-style:dashed;padding-top:0.8em; |
margin-top:0;border-top-style:dashed;padding-top:0.8em; |
||
} |
} |
||
2016年10月15日 (土) 18:52時点における版
/* 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%;
}
pre + .mw-highlight pre{
margin-top:0;border-top-style:dashed;padding-top:0.8em;
}