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

ve.ui.MWTargetWidget: Remove top margin in Vector 2022

Browse source 
Change-Id: I3d079a9e1b44821180c849c2c018a2314b2e089e
This commit is contained in:
Ed Sanders 2022-08-10 16:35:10 +01:00
parent d36d467a82
commit 9f5944af9e
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/ve-mw/ui/styles/tools/ve.ui.MWTargetWidget-vector.less
View file

@ -11,3 +11,8 @@
// We wouldn't need to do this if the context menus and inspectors were appended to an overlay (T266521).
z-index: auto;
}
.ve-ui-mwTargetWidget > .ve-init-target > .mw-body-content {
// Remove top margin used by Vector 2022 in main content
margin-top: 0;
}