MediaWiki:Common.css: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 112: | Line 112: | ||
font-family: Roboto Mono !important; | font-family: Roboto Mono !important; | ||
padding: 10px !important; | padding: 10px !important; | ||
width:80% !important; | |||
border-radius: 4px !important; | border-radius: 4px !important; | ||
} | } | ||