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

Merge "Minor type changes/Fix contrast"

Browse source
This commit is contained in:
Jorm 2014-02-27 03:07:39 +00:00 committed by Gerrit Code Review
parent ceb0f971d9 b6f57aebcc
commit c06c6cb06e
1 changed files with 10 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -28,17 +28,18 @@
padding: 16px;
padding-bottom: 48px;
h3 {
margin-top: 0;
padding: 0;
font-family: Georgia, Times, serif;
font-style: normal;
}
> div.mwe-popups-redirect {
color: #c9c9c9;
font-style: italic;
color: #555;
font-size: 0.85em;
margin-bottom: 3px;
h3 {
margin-top: 0;
padding: 0;
font: 2em Georgia, Times, serif;
font-weight: normal;
font-style: normal;
}
}
}