Cómo ajustar la altura de la barra de navegación superior y el banner

If you inspect the global notice banner with browser devtools, you can see the div has an id and some classes:

image498×180 6.83 KB

It normally gets the padding, which affects the banner size, from the .alert class:

image243×118 3.91 KB

But you can override that just for the Global Notice, like this:

#global-notice-alert-global-notice {
  padding: .2em .5em .2em .5em;
}