Decrease of font size to 13px from 14px (better tree tabs)