Slightly decreased font size in the tabs to fix a clipping issue. Closed #21