14/05/07 00:00:23.74 unjviqEV0
>>241
次善の策になってしまうけどうちはtheme font & size changer というアドオン使ってるよ。
文字間を詰めるんじゃなく、フォントを変える事で字間が狭いものに、フォントサイズも小さく変更するというもの。
userchrome.cssで弄るとか専用アドオンとかもっといい解決法が多分あると思うけど知らないので
もし全く回答つかなかった時には参考までに。
14/05/07 00:00:23.74 unjviqEV0
>>241
次善の策になってしまうけどうちはtheme font & size changer というアドオン使ってるよ。
文字間を詰めるんじゃなく、フォントを変える事で字間が狭いものに、フォントサイズも小さく変更するというもの。
userchrome.cssで弄るとか専用アドオンとかもっといい解決法が多分あると思うけど知らないので
もし全く回答つかなかった時には参考までに。