Bump top bar icons to 22px

[lmoureaux]

Closes #1254.

[jwrober]

What is so magical about 22px? Where do we set the height of the top bar? At 22px, the icons are still quite small. I was looking for the icons to be much larger - e.g. make them much more prominent and fill a large portion of the height of the top bar. Even with the gui as small as I can get it on my laptop, I still think the icons could be bigger

[jwrober]

See comment

[lmoureaux]

The height of the top bar is a function of the font size. 22px is a about the height of two lines of text at a size of 12px. Making icons taller also implies making them wider, without changing the horizontal space between the icon and the text, so this starts to look strange if you make them very large. 22px looked "right" on my display.

[jwrober]

I played around with the value on my local. 30px seems like a good number too, but I'm not going to quibble over 8px. This is still better than it was.

[lmoureaux]

Let's revisit after #1287

[lmoureaux]

So what do you think with the new colors?

[jwrober]

So what do you think with the new colors?

I still think they could be bigger. I do still like 30px. I also see something weird with the nations view button. The icon is missing or oddly small for some of the themes

[lmoureaux]

I also see something weird with the nations view button. The icon is missing or oddly small for some of the themes

It's a fixed-size png, not a scalable icon