MediaWiki:Common.css: Difference between revisions
From jugglingpatterns
No edit summary Tag: Manual revert |
No edit summary |
||
| Line 5: | Line 5: | ||
overflow-x: auto; |
overflow-x: auto; |
||
font-family: monospace; |
font-family: monospace; |
||
} |
|||
p + .throw-sequence { |
|||
margin-top: -0.5em; |
|||
} |
|||
.throw-sequence + p { |
|||
margin-top: -0.5em; |
|||
} |
|||
.throw-sequence { |
|||
margin-bottom: 0; |
|||
margin-top: 0; |
|||
} |
} |
||
Revision as of 15:12, 13 January 2025
/* CSS placed here will be applied to all skins */
@import "/js/darkreader_export.css";
pre {
white-space: pre;
overflow-x: auto;
font-family: monospace;
}
p + .throw-sequence {
margin-top: -0.5em;
}
.throw-sequence + p {
margin-top: -0.5em;
}
.throw-sequence {
margin-bottom: 0;
margin-top: 0;
}
