wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 09:40:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Slightly reducing badge and alert sizes

Browse source 
Change-Id: If3c93582dbbdcab14b10ad9fe2926dcc94186756
This commit is contained in:
kaldari 2013-05-23 11:59:20 -07:00
parent d2702cb1e9
commit 43d95d153e
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/alert/ext.echo.alert.css
View file

@ -4,7 +4,7 @@
#pt-mytalk a.mw-echo-alert { #pt-mytalk a.mw-echo-alert {
border-radius: 2px; border-radius: 2px;
background-color: #F9C557; background-color: #F9C557;
padding: 0.3em 0.9em 0.25em 0.9em; padding: 0.25em 0.8em 0.2em 0.8em;
color: #555555; color: #555555;
font-weight: normal; font-weight: normal;
} }

2
modules/badge/ext.echo.badge.css
View file

@ -2,7 +2,7 @@
#pt-notifications .mw-echo-notifications-badge { #pt-notifications .mw-echo-notifications-badge {
min-width: 7px; min-width: 7px;
border-radius: 2px; border-radius: 2px;
padding: 0.3em 0.5em 0.25em 0.5em; padding: 0.25em 0.45em 0.2em 0.45em;
margin-left: -4px; margin-left: -4px;
text-align: center; text-align: center;
background-color: #d2d2d2; background-color: #d2d2d2;