Currently the personal bar displays on top of it. This wasn't
visible until some popups started opening upwards rather than
downwards. We should fix this better some time...
Bug: T182711
Change-Id: I1fe6b8b2c9c1e4d12a9a4d2d1edd1ead269780cf
The feature was reverted in 5205405385397782b5288b429f49c9d8c97ac6c6 almost a
year ago, so it's pretty safe to say this styling is unnecessary.
This essentially reverts 2466e550e5.
Change-Id: I88b6465d5554d334cc34893bb0acf548a5fc440b
Zopfli is the most efficient DEFLATE compression algorithm, trading run-time
performance for file sizes that are typically 3-8% smaller than those produced
by zlib with the maximum compression setting. Its output is Deflate-compatible,
so no specialized decoder is needed.
This change was created by running zopflipng against all the PNG files in this
repository. The exact invocation was:
git ls-files --exclude-per-directory=.gitignore -- '*.png' \|
parallel zopflipng -m -y --iterations=1000 --filters=01234mepb {} {} \;
Files which zopflipng was not able to compress more efficiently were left unmodified.
Change-Id: Iffb64007f312cc3afcd335a636847d42648b10f5
Task: T127608
VE keeps the global windowmanager inside a global overlay div,
which has a default z-index of 1. Ensure this is overriden in
Vector. Requires extra specificity due to stylesheet load order.
Bug: T126135
Change-Id: I5ebb4e59e3714dfaa3d755ecf6285009efe7b62a
No stable versions of IE have an '-ms-linear-gradient'. Any lines using
the same have been removed.
Bug: T100285
Change-Id: Idb835809e297513c46cab26ee4f1caa5f9fa6a60
In Ib81a60c7, /* @noflip */ was meant to apply to an entire block, which
doesn't happen in LESS. This commit fixes that by using @noflip for
every line that it needs to apply to.
Also change spaces to tabs.
Change-Id: I3b3e82397f8bc1b7466805d4ed9ce315df04d057
The anchors introduced in I562e437e use a small width to account for
skins with narrow gutters. Since Vector has a wider gutter, the anchors
should use the available width.
Change-Id: Ib81a60c789c1225c93bf8d694a02e67a5d131eac
This patch fixes the problem by removing the following
from jquery.ui.theme.css:
.ui-widget-content a { color: #362b36; }
.ui-widget-header a { color: #222222; }
Bug: T85857
Change-Id: I0fbca3aca8e0d40c794dd1e20d4d8c4fdfd79aa1
Follows-up 3cb2ccd87863abb8a99ed7d970730ae9e4138fcc.
Various structural changes were made in jQuery UI 1.9, and the Vector
theme was not updated to accommodate for those changes.
There have also been lots of small improvements to the base theme (which
is substituted inside the Vector theme) that were made over the past few
releases that weren't backported (such as Ib099282484b for bug 67243).
And there were two new modules in jQuery UI 1.9 (menu and spinner) that
were lacking Vector theme stylesheets.
Source files generated with http://jqueryui.com/themeroller by
downloading the theme for v1.9.2 (except for jquery.ui.button.css). See
the permalink in jquery.ui.theme.css.
For jquery.ui.button.css, use latest master of jQuery UI 1.11.2-alpha:
* https://github.com/jquery/jquery-ui/blob/8825d93dc8/themes/base/button.css
This is from a newer version of jQuery UI but user MarkTraceur suggested
the file for jquery.ui.button had fixes that were not backported to 1.9
and does not cause problems with Wikimedia Commons.
Documented our patches in a PATCHES file.
Change-Id: I2a31e4a3d969a966935a50392deafd756e2b9fca
Applying fix from change Ib3e0fc57 to Vector's jQuery UI styling as
it should have been fixed in both places. The on-wiki fix was removed
prematurely, as the bug was only fixed for non-Vector skins.
This fixes bad formatting of audio player on Wikipedia (see bug).
Bug: 71601
Change-Id: I80bef309dca9ea551134341037f6d96ad0f5c7e7
