Como ajustar a altura da barra de navegação superior e do banner

Se você inspecionar o banner de aviso global com as ferramentas de desenvolvedor do navegador, poderá ver que a div tem um ID e algumas classes:

image498×180 6.83 KB

Normalmente, ele recebe o preenchimento, que afeta o tamanho do banner, da classe .alert:

image243×118 3.91 KB

.alert {
padding: .5em 2.5em .5em 1em;
}

Mas você pode substituir isso apenas para o Aviso Global, assim:

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