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

Remove some unused CSS

Browse source 
No longer needed since the "Subscribe" button was moved elsewhere
(2960853088).

Change-Id: I758469c6883fe6056dc3859b5b5d43d98771b518
This commit is contained in:
Bartosz Dziewoński 2022-11-14 14:57:13 +01:00
parent 04cfffe323
commit f27d173852
1 changed files with 0 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
modules/dt.init.less
View file

@ -430,12 +430,6 @@ h1, h2, h3, h4, h5, h6 {
border-left: 1px solid #a2a9b1;
}
}
&-actions {
margin-left: auto;
// Prevent the focus outline from being cut off (T311662), do not set to negative values
margin-right: 0;
}
}
h1 + .ext-discussiontools-init-section {
@ -504,7 +498,6 @@ h1, h2, h3, h4, h5, h6 {
&-actions {
width: 100%;
margin-left: 0;
padding-left: 24px;
}
@ -562,11 +555,6 @@ h1, h2, h3, h4, h5, h6 {
// stylelint-disable-next-line declaration-property-unit-disallowed-list
font-size: 12px;
}
&-actions {
// Prevent the Apex theme focus outline from being cut off (T311662)
margin-right: 4px;
}
}
}