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

Remove explicit font selection

Browse source 
We want to use the font of the page, not some different one.

Change-Id: Iaf8d6ce5e7422a4515fc9e8ab4f067e213609560
This commit is contained in:
Florian Schmidt 2017-01-12 01:42:26 +01:00
parent 4b1a13d288
commit 4a15a7fb83
2 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/ext.CookieWarning/ext.CookieWarning.less
View file

@ -5,7 +5,6 @@
opacity: 0.85; opacity: 0.85;
color: #fff; color: #fff;
font-weight: bold; font-weight: bold;
font-family: arial;
font-size: 13px; font-size: 13px;
padding: 7px 15px; padding: 7px 15px;
top: 0; top: 0;
@ -35,7 +34,6 @@
margin-right: 0.5em; margin-right: 0.5em;
white-space: nowrap; white-space: nowrap;
font-weight: bold; font-weight: bold;
font-family: arial;
font-size: 13px; font-size: 13px;
} }
} }

1
resources/ext.CookieWarning/ext.CookieWarning.mobile.less
View file

@ -6,7 +6,6 @@
.mw-cookiewarning-container { .mw-cookiewarning-container {
background-color: #ffffff; background-color: #ffffff;
padding: 16px; padding: 16px;
font-family: HelveticaNeue;
font-size: @cookieWarningFontSize; font-size: @cookieWarningFontSize;
font-weight: 500; font-weight: 500;
font-style: normal; font-style: normal;