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

Remove some unused or redundant styles

Browse source 
All of these either do nothing, or cancel out with other styles.

Change-Id: Ic2372bdc74efea288b4b906d16a6d17c86c217c4
This commit is contained in:
Bartosz Dziewoński 2022-06-30 01:39:38 +02:00
parent 6042778678
commit b7d65bcaa7
1 changed files with 0 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
modules/dt.init.less
View file

@ -328,10 +328,6 @@ span[ data-mw-comment-start ] {
width: 100%;
margin-left: 0;
padding-left: 24px;
> .oo-ui-buttonElement-frameless:first-child {
margin-left: 0;
}
}
// stylelint-disable-next-line selector-class-pattern
@ -340,15 +336,6 @@ span[ data-mw-comment-start ] {
display: none;
}
&-subscribeButton {
margin-left: 0;
margin-right: 8px;
> .oo-ui-buttonElement-button {
margin-left: -0.42857143em;
}
}
&-ellipsisButton {
display: inline-block;
// stylelint-disable-next-line declaration-property-unit-disallowed-list
@ -406,10 +393,6 @@ span[ data-mw-comment-start ] {
// Prevent the Apex theme focus outline from being cut off (T311662)
margin-right: 4px;
}
&-subscribeButton {
margin-right: 0;
}
}
/* stylelint-enable no-descending-specificity */
}