wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-18 02:51:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix mobile section expand icon size after changes in MobileFrontend

Browse source 
Reverts I0af2707141 due to I5ca0870862f5.

Change-Id: Ib9a0a38774b85b2b80fbac7a0d9b81b7045c9e59
This commit is contained in:
Bartosz Dziewoński 2023-10-04 22:22:08 +02:00 committed by Esanders
parent 2b3f430ad2
commit fe07a8914e
1 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/dt.init.less
View file

@ -475,13 +475,6 @@ h1, h2, h3, h4, h5, h6 {
font-size: 0.875em; font-size: 0.875em;
} }
// stylelint-disable-next-line selector-class-pattern
> .indicator {
// The indicator lives inside the h2 on normal pages, so expects
// to have the same base font size as the heading.
font-size: 1.5em;
}
// stylelint-disable-next-line selector-class-pattern // stylelint-disable-next-line selector-class-pattern
> .indicator, > .indicator,
&-ellipsisButton { &-ellipsisButton {