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

Use standard font sizing for DT advanced toggle menu and license description

Browse source 
Bug: T356574
Change-Id: I30d635b0fb24fb6ad2761a4970c0cb2586481efe
This commit is contained in:
Iniquity 2024-09-28 20:51:47 +00:00
parent f8cb573ee4
commit b35ea7c65d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/dt.ui.ReplyWidget.less
View file

@ -220,7 +220,7 @@
flex-basis: 20em;
// Stretch to all available space
flex-grow: 1;
font-size: 0.75em;
font-size: @font-size-x-small;
color: @color-subtle;
> p {
@ -490,7 +490,7 @@
}
&-advancedToggle {
font-size: 0.75em;
font-size: @font-size-x-small;
.oo-ui-indicatorElement-indicator {
min-width: auto;