Reduce GitHub banner size

So that it doesn't overlap with the "Random" button