MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
.mw-highlight .lineno { user-select:none; } | .mw-highlight .lineno { user-select:none; } | ||
.lineno { user-select:none; } | .lineno { user-select:none; } | ||
.mw-headline { | .mw-headline {padding-bottom: 5px;} |