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

Increase font size

Browse source 
Increase the extract font-size. Also increase
the max-height of .mwe-popups-extract so that
the text does not get cut.

Bug: 63508
Change-Id: Icde0ca8af44e68cab71816f4c89fe9a68f66b472
This commit is contained in:
Prateek Saxena 2014-05-10 01:07:41 +05:30
parent 5a7393407c
commit c4f46dd7d4
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -31,8 +31,8 @@
border: 1px solid #bbb;
padding: 0;
display: none;
font-size: 0.8em;
line-height: 1.5em;
font-size: 15px;
line-height: 24px;
cursor: pointer;
min-width: 300px;
@ -120,7 +120,7 @@
width: 300px;
.mwe-popups-extract {
max-height: 120px;
max-height: 125px;
overflow: hidden;
margin-bottom: 3.84em;
padding-bottom: 1.28em;