wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-12-01 02:37:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Reduce height of the article toolbar"

Browse source
This commit is contained in:
jenkins-bot 2023-03-16 20:15:20 +00:00 committed by Gerrit Code Review
parent ef1121d300 bbdc66fcd3
commit cefa5eeab9
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/common/variables.less
View file

@ -125,7 +125,7 @@
// Tabs // Tabs
@font-size-tabs: unit( 13 / @font-size-browser, em ); // Equals `0.8125em`. @font-size-tabs: unit( 13 / @font-size-browser, em ); // Equals `0.8125em`.
@padding-horizontal-tabs: 8px; @padding-horizontal-tabs: 8px;
@padding-top-tabs: 18px; @padding-top-tabs: 12px;
@padding-vertical-tabs: @padding-top-tabs 0 7px 0; @padding-vertical-tabs: @padding-top-tabs 0 7px 0;
// Dropdowns // Dropdowns

6
resources/skins.vector.styles/components/MenuTabs.less
View file

@ -13,9 +13,9 @@
.mw-list-item { .mw-list-item {
.mw-ui-icon { .mw-ui-icon {
// Align small icons with the bottom of the tabs. // Align small icons with the bottom of the tabs.
// Height of tab is 38px, and small icon is 32px, // Height of tab is 32px, and small icon is 32px,
// With 2px border, 38 - 32 + 2 // With 2px border, 32 - 32 + 2
margin: 8px 0 0 0; margin: 2px 0 0 0;
} }
} }