EBernhardson has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/359362 )

Change subject: Tweak interwiki search margin from  8% to 7%
......................................................................

Tweak interwiki search margin from  8% to 7%

This is still giving some problems, where since not everything is
specifide in %'s the sidebar can get pushed down below. Really we
need a grid to solve these kinds of problems, but for now this
will at least help.

Change-Id: I6a16f09bd420b2d90155fc0ae75ca137c5551d03
---
M 
resources/src/mediawiki.special/mediawiki.special.search.interwikiwidget.styles.less
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/62/359362/1

diff --git 
a/resources/src/mediawiki.special/mediawiki.special.search.interwikiwidget.styles.less
 
b/resources/src/mediawiki.special/mediawiki.special.search.interwikiwidget.styles.less
index 992ce99..46cfab9 100644
--- 
a/resources/src/mediawiki.special/mediawiki.special.search.interwikiwidget.styles.less
+++ 
b/resources/src/mediawiki.special/mediawiki.special.search.interwikiwidget.styles.less
@@ -107,7 +107,7 @@
                #mw-interwiki-results {
                        width: 30%;
                        display: inline-block; /* used to align interwiki 
sidebar with the top of the main search results */
-                       margin-left: 8%; /* since inline-block causes 
whitespace issues, this is 8 instead of 10% */
+                       margin-left: 7%; /* since inline-block causes 
whitespace issues, this is 7 instead of 10% */
                }
                .mw-search-createlink,
                .mw-search-nonefound,

-- 
To view, visit https://gerrit.wikimedia.org/r/359362
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I6a16f09bd420b2d90155fc0ae75ca137c5551d03
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to