MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary |
||
| Line 320: | Line 320: | ||
border: 1px solid var(--is-border-color); | border: 1px solid var(--is-border-color); | ||
border-radius: 8px; | border-radius: 8px; | ||
padding: | padding: 10px; | ||
box-sizing: border-box; | box-sizing: border-box; | ||
margin: 0.5em 0 1.3em 1.4em; | margin: 0.5em 0 1.3em 1.4em; | ||