MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary |
||
| Line 35: | Line 35: | ||
padding-top: 0; | padding-top: 0; | ||
} | } | ||
pre { | pre { | ||
margin: 0; | margin: 0; | ||
| Line 193: | Line 194: | ||
pre { | pre { | ||
font-family: 'Roboto', sans-serif !important; | font-family: 'Roboto', sans-serif !important; | ||
} | } | ||