>>710
でも、これって10月末までだから普通にCSSで調節したほうがいいと思うよ
まあ、それまでにUIがマシになることに望みをかけるならabout:configでもいいけど