diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2015-07-02 10:27:08 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2015-07-02 10:27:08 +0000 |
| commit | dfbbf90b249a3d80ff91a2b52d002812e42991a1 (patch) | |
| tree | 702d6043df26e0b3df094f828a74caa4b3ee832f | |
| parent | 5de749d207b9ca7f15cd7ecb40f4c3a05f07f764 (diff) | |
| parent | d8d172d886ae83130165c53335084c0b0590902d (diff) | |
| download | mediawikicore-dfbbf90b249a3d80ff91a2b52d002812e42991a1.tar.gz mediawikicore-dfbbf90b249a3d80ff91a2b52d002812e42991a1.zip | |
Merge "Correct mw-ui-icon size"
| -rw-r--r-- | resources/src/mediawiki.less/mediawiki.ui/variables.less | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less index 8ffc6ed41aaf..dc0a8d37c97e 100644 --- a/resources/src/mediawiki.less/mediawiki.ui/variables.less +++ b/resources/src/mediawiki.less/mediawiki.ui/variables.less @@ -67,5 +67,5 @@ // Icon related variables -@iconSize: 1.4em; +@iconSize: 1.5em; @iconGutterWidth: 1em; |