diff options
Diffstat (limited to 'data/extensions/https-everywhere-eff@eff.org/chrome/skin/https-everywhere.css')
| -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; } |