4,554
edits
MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 803: | Line 803: | ||
width: 97%; | width: 97%; | ||
box-sizing: border-box; | box-sizing: border-box; | ||
padding: | padding: 12px 0 20px 0; | ||
margin-bottom: -1px; /* Negative margin, same as border thickness */ | margin-bottom: -1px; /* Negative margin, same as border thickness */ | ||
border-top: 1px solid black; | border-top: 1px solid black; | ||