/* Keep all top-bar labels at the same reading size. Console content is separate. */
.site-header nav a,
.site-header .header-tools .language-switch,
.site-header .header-tools .header-signin,
.site-header .header-tools .button.small { font-size: 15px !important; }