diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2016-02-04 17:35:11 -0600 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2016-02-04 17:35:11 -0600 |
| commit | 23c04f7d9249b29c84df3707429053fc53fb190d (patch) | |
| tree | e5706a72d65a344d5c2be0866974c594eddca292 /data/extensions/https-everywhere-eff@eff.org/chrome/skin | |
| parent | 501a13debeebf3244f33646ac3bad75f9a0e614d (diff) | |
HTTPS-Everywhere updated to 5.1.3
Diffstat (limited to 'data/extensions/https-everywhere-eff@eff.org/chrome/skin')
| -rw-r--r-- | data/extensions/https-everywhere-eff@eff.org/chrome/skin/https-everywhere.css | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/data/extensions/https-everywhere-eff@eff.org/chrome/skin/https-everywhere.css b/data/extensions/https-everywhere-eff@eff.org/chrome/skin/https-everywhere.css index 88c6cac..2249ecf 100644 --- a/data/extensions/https-everywhere-eff@eff.org/chrome/skin/https-everywhere.css +++ b/data/extensions/https-everywhere-eff@eff.org/chrome/skin/https-everywhere.css @@ -31,9 +31,10 @@ toolbar[iconsize="small"] #https-everywhere-button[status="disabled"] > .https-e /* ruleset counter */ #rscounter { - margin: 3px -12px 0 -8px; + margin: 3px -12px 0 -8px; display: block; -moz-box-sizing: border-box; + box-sizing: border-box; } /* increase negative margins in the palette and panel so the button isn't too wide. */ @@ -45,12 +46,13 @@ toolbar[iconsize="small"] #https-everywhere-button[status="disabled"] > .https-e /* rulesets applied label */ #rsapplied { -moz-box-sizing: border-box; + box-sizing: border-box; font-size: 12px; color: #000; background-color: #FFF; - border-width: 1px; + border-width: 1px; border-style: solid; - padding: 1px 1px 1px 1px; + padding: 1px 1px 1px 1px; visibility: hidden; } |