fix minor problem with github button sizing