Change the width of tab characters in code on GitHub