Merge "Use @width-breakpoint-tablet instead of @deviceWidthTablet"

This commit is contained in:
jenkins-bot 2018-08-09 17:18:07 +00:00 committed by Gerrit Code Review
commit 85f9182fe4

View file

@ -3,8 +3,9 @@
instead of to the side of it. They also hide the logo, as there's no space
left for it.
*/
@import 'mediawiki.ui/variables';
@media screen and ( max-width: @deviceWidthTablet ) {
@media screen and ( max-width: @width-breakpoint-tablet ) {
#mw-head {
position: static !important; /* stylelint-disable-line declaration-no-important */
margin-top: 0.5em;