Hi! Thanks for your answers!
Well, I guess “huge and ugly” is quite subjective. I am talking about this:
My guess is that quite a lot of users find this unnecessary large. Thank you very much for the app.css-snippet. But also IMHO having to work with code to change this will keep the majority of the users from changing this.