diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2014-10-20 02:25:28 +0200 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2014-10-20 02:25:28 +0200 |
| commit | 971b7690860c677374cbe14ee64558b1bd174718 (patch) | |
| tree | 943eb7bb9ed6f0466b6d688c10ab067ac5208a95 /data/extensions/https-everywhere@eff.org/chrome/skin/https-everywhere.css | |
| parent | 6e7918b6ccb69876d339a320091fdee811445395 (diff) | |
https-everywhere updated to 4.0.2
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/chrome/skin/https-everywhere.css')
| -rw-r--r-- | data/extensions/https-everywhere@eff.org/chrome/skin/https-everywhere.css | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/data/extensions/https-everywhere@eff.org/chrome/skin/https-everywhere.css b/data/extensions/https-everywhere@eff.org/chrome/skin/https-everywhere.css index 6c03b83..df0c1a7 100644 --- a/data/extensions/https-everywhere@eff.org/chrome/skin/https-everywhere.css +++ b/data/extensions/https-everywhere@eff.org/chrome/skin/https-everywhere.css @@ -16,10 +16,15 @@ toolbar #https-everywhere-button > .https-everywhere-button { } /* Use CSS attribute selector for changing icon */ +#https-everywhere-button[http_nowhere="true"] > .https-everywhere-button { + list-style-image: url("chrome://https-everywhere/skin/https-everywhere-24-red.png"); +} #https-everywhere-button[status="disabled"] > .https-everywhere-button { list-style-image: url("chrome://https-everywhere/skin/https-everywhere-24-gray.png"); } - +toolbar[iconsize="small"] #https-everywhere-button[http_nowhere="true"] > .https-everywhere-button { + list-style-image: url("chrome://https-everywhere/skin/https-everywhere-16-red.png"); +} toolbar[iconsize="small"] #https-everywhere-button[status="disabled"] > .https-everywhere-button { list-style-image: url("chrome://https-everywhere/skin/https-everywhere-16-gray.png"); } |