4,452
edits
MediaWiki:Common.css: Difference between revisions
m
use Droid Sans Mono for all customized styles
add font-family to div.cli |
m use Droid Sans Mono for all customized styles |
||
| Line 22: | Line 22: | ||
span.package { | span.package { | ||
font-family: 'Droid Sans Mono',sans-serif; | |||
padding: 2px 4px; | padding: 2px 4px; | ||
font-size: 90%; | font-size: 90%; | ||
| Line 42: | Line 43: | ||
line-height: 1.3; | line-height: 1.3; | ||
padding: 0; | padding: 0; | ||
font-family: | font-family: 'Droid Sans Mono',sans-serif; | ||
font-size: 12px; | font-size: 12px; | ||
box-sizing: border-box; | box-sizing: border-box; | ||