>>241
userChrome.cssで定義した方がいいに決まっている。
けど、それだとJSとCSSの2ファイル編集しないといけないので面倒だろ?