wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-28 17:40:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "[modern][styles] Remove unnecessary margin-top"

Browse source
This commit is contained in:
jenkins-bot 2020-11-17 14:03:40 +00:00 committed by Gerrit Code Review
parent 5dd89219c6 b0e54eec45
commit 9ccd8e2c23
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
resources/skins.vector.styles/layout-default.less
View file

@ -120,18 +120,17 @@ body {
} }
#mw-panel { #mw-panel {
background-image: linear-gradient( to bottom, @background-color-base 0%, @background-color-secondary--modern 10%, @background-color-secondary--modern 90%, @background-color-base 100% );
position: absolute; position: absolute;
// Sidebar is displaced from the workspace container so that the // Sidebar is displaced from the workspace container so that the
// sidebar is flush with the edge of the screen at small widths. // sidebar is flush with the edge of the screen at small widths.
left: -@padding-horizontal-page-container; left: -@padding-horizontal-page-container;
width: @width-grid-column-one; width: @width-grid-column-one;
.box-sizing( border-box ); .box-sizing( border-box );
margin-top: 0;
// To avoid the white part of the gradient colliding with the sidebar links // To avoid the white part of the gradient colliding with the sidebar links
// we apply top and bottom padding. // we apply top and bottom padding.
padding: 8px 0 40px @padding-left-sidebar; padding: 8px 0 40px @padding-left-sidebar;
z-index: @z-index-sidebar; z-index: @z-index-sidebar;
background-image: linear-gradient( to bottom, @background-color-base 0%, @background-color-secondary--modern 10%, @background-color-secondary--modern 90%, @background-color-base 100% );
} }
.parsoid-body { .parsoid-body {