shortcuts-bar: Allow buttons to have different width
Ctrl+Shift+a takes considerably more space than e.g. Ctrl-a and as we want as many shortcuts in reach as possible allow for different sizes.
Use slightly larger padding to make things not look too crammed.