wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 23:24:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

settings: Fix margins

Browse source 
Change-Id: I3ad652b05d990377c6a01a0abb8091f1ff2443c7
This commit is contained in:
Prateek Saxena 2014-08-19 20:36:08 +05:30
parent d9322cfe9e
commit 10e9192719
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
resources/ext.popups.settings.less
View file

@ -49,7 +49,7 @@
color: #999;
display: block;
font-size: 17px;
margin: 30px 0;
margin: 34px 0;
margin-left: 10px;
}
@ -97,6 +97,7 @@
clear: both;
text-align: right;
margin: 10px;
margin-bottom: 20px;
}
}
}