A simple S-M-L font size choice for the Sidebar and Tabs would really make a big difference. Late night work and long hours for many of us make larger fontsizes very appreciated. Right now it’s a beginning to be a strain. Just one or two sizes larger would be excellent. Thanks!