wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Empty state banner: Improve selector for hiding top border"

Browse source
This commit is contained in:
jenkins-bot 2022-09-28 16:30:45 +00:00 committed by Gerrit Code Review
parent f4f83bfb2f 79d4879b3a
commit f910e54802
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
modules/dt.init.less
View file

@ -527,8 +527,7 @@ h1, h2, h3, h4, h5, h6 {
width: 250px;
}
// stylelint-disable-next-line selector-class-pattern
.mw-parser-output:not( .noarticletext ) & {
&:not( :first-child ) {
// Separate from existing (non-discussion) content
margin-top: 2em;
padding-top: 1em;