Really like the editor, but one thing that has been bothering me is the size of the font of the resource tree. It seems that regardless of what I change in the CSS file, I can't affect the size of the resource tree folder names, and individual elements below. Is this intentional, or am I missing something?
Thanks!