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

Merge "Accommodate longer user names in personal tools"

Browse source
This commit is contained in:
jenkins-bot 2020-09-01 22:20:21 +00:00 committed by Gerrit Code Review
parent 8b70eec55d 43e9776142
commit d4663ef0ec
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
resources/skins.vector.styles/layout-search-header.less
View file

@ -43,6 +43,7 @@
#p-personal {
text-align: right;
flex-basis: @min-width-personal-tools;
// Support IE9: This is reset in @support query below if Flexbox is available.
float: right;
@ -57,10 +58,6 @@
top: @height-header-adjusted - @margin-top-header;
}
#p-personal {
width: @min-width-personal-tools;
}
.mw-header-placeholder {
height: @height-header-adjusted + @height-tabs;
}