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

Update type size and leading

Browse source 
Change-Id: Ic933179359a9098820c9b0dfaea154c9f478c81f
This commit is contained in:
Prateek Saxena 2014-02-12 21:29:06 +05:30
parent bfc72ac048
commit bb5cc039f9
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
resources/ext.popups.core.less
View file

@ -9,8 +9,9 @@
border: 1px solid #f0f0f0;
box-shadow: rgba(0, 0, 0, 0.15) 3px 3px 0;
padding: 0;
font-size: 12px;
display: none;
font-size: 0.8em;
line-height: 1.5em;
cursor: pointer;
min-width: 300px;
@ -30,8 +31,6 @@
> div {
padding: 1.6em;
font-size: 13px;
line-height: 19.2px;
+ div {
padding: 0.8em;