Fixing tabs on github web interface