It seems gradio set height/width to 40 which doesn't play well with some theme. And GridListButton looks ugly on headerbar