resizing tab width on GitHub diffs #diff#github#browser hack