VolkerE has uploaded a new change for review.
https://gerrit.wikimedia.org/r/300853
Change subject: MediaWiki theme: Decrease `margin`/`padding` on `legend`
replacement
......................................................................
MediaWiki theme: Decrease `margin`/`padding` on `legend` replacement
Decreasing unnecessary space around `legend` replacement by removing
`padding` and leaving only `margin` in.
Bug: T141253
Change-Id: I56058ea2bd10c44fac892d217b18e43391eec919
---
M src/themes/mediawiki/layouts.less
1 file changed, 1 insertion(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/53/300853/1
diff --git a/src/themes/mediawiki/layouts.less
b/src/themes/mediawiki/layouts.less
index 232c199..dc2f331 100644
--- a/src/themes/mediawiki/layouts.less
+++ b/src/themes/mediawiki/layouts.less
@@ -117,9 +117,8 @@
}
> .oo-ui-labelElement-label {
- font-size: 1.1em;
margin-bottom: 0.5em;
- padding: 0.25em 0;
+ font-size: 1.1em;
font-weight: bold;
}
--
To view, visit https://gerrit.wikimedia.org/r/300853
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I56058ea2bd10c44fac892d217b18e43391eec919
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
