MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
bigger font stack
Miraheze>Adám Brudzewsky m (DejaVu needs less line height) |
Miraheze>Adám Brudzewsky (bigger font stack) |
||
| Line 4: | Line 4: | ||
} | } | ||
.mw-highlight pre, code.mw-highlight { | .mw-highlight pre, code.mw-highlight { | ||
font-family: 'DejaVu Sans Mono','Iosevka','PragmataPro','APL385 Unicode','Menlo',monospace; | font-family: 'DejaVu Sans Mono','Iosevka','PragmataPro','APL385 Unicode','SImPL medium','SImPL','Menlo',monospace; | ||
line-height: 2.3ex; | line-height: 2.3ex; | ||
} | } | ||