MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
m
DejaVu needs less line height
Miraheze>Adám Brudzewsky No edit summary |
Miraheze>Adám Brudzewsky m (DejaVu needs less line height) |
||
| Line 5: | Line 5: | ||
.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','Menlo',monospace; | ||
line-height: 2. | line-height: 2.3ex; | ||
} | } | ||
.worksin, a.external[href^="https://tryapl.org/?a="], a.external[href^="https://tio.run/##SyzI0"] { | .worksin, a.external[href^="https://tryapl.org/?a="], a.external[href^="https://tio.run/##SyzI0"] { | ||