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

Merge "Remove some unused CSS"

Browse source
This commit is contained in:
jenkins-bot 2022-11-14 15:29:27 +00:00 committed by Gerrit Code Review
parent 0655cdbf56 f27d173852
commit 0ade11d299
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;
}
}
}