Make selected tab be bold, as per request from Christian