commit e86c503e8e11ff6943dc9a65f88bf756db452a07 Author: Georg Koppen g.koppen@jondos.de Date: Thu Aug 22 14:09:03 2013 +0200

Bug 9492: Fix Torbutton logo on OSX and Windows

replaced JavaScript style comments (beginning with a '//') with a real CSS comment --- src/chrome/skin/torbutton.css | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/chrome/skin/torbutton.css b/src/chrome/skin/torbutton.css index ce59cc9..ef8abbc 100644 --- a/src/chrome/skin/torbutton.css +++ b/src/chrome/skin/torbutton.css @@ -13,12 +13,12 @@ toolbar[iconsize="small"] #torbutton-button { list-style-image: url("chrome://torbutton/skin/tor-16.png"); } -// Although the tor-enabled-16.png, tor-disabled-16.png and tor-update-16.gif -// indicate that they are 16x16 icons, they have 18x18 pixels in fact. This -// leads to resizing the content window's height on start-up on Windows at -// least. To guarantee a content window with a multiple of 200x100 we -// therefore use only a x16 part of each icon while trying to minimize bad UI -// effects until #8941 gets fixed. +/* Although the tor-enabled-16.png, tor-disabled-16.png and tor-update-16.gif +indicate that they are 16x16 icons, they have 18x18 pixels in fact. This +leads to resizing the content window's height on start-up on Windows at +least. To guarantee a content window with a multiple of 200x100 we +therefore use only a x16 part of each icon while trying to minimize bad UI +effects until #8941 gets fixed.*/ toolbar[iconsize="small"] #torbutton-button[tbstatus="on"] { list-style-image: url("chrome://torbutton/skin/tor-enabled-16.png"); -moz-image-region: rect(1px, 17px, 17px, 1px);