/* App top nav ~10% smaller than style.css so every link fits on one row
   (loaded after style.css; overrides only size and spacing). */
.nav-links { gap: 8px; }
.nav-links .nav-link { font-size: 10.7px; padding: 0 9px; gap: 5px; min-height: 32px; }
.nav-links .nav-link i { font-size: 10.7px; flex-basis: 12px; }
@media (max-width: 1800px) {
    .nav-links { gap: 3px; }
    .nav-links .nav-link { font-size: 10.2px; padding: 0 6px; gap: 4px; min-height: 30px; }
    .nav-links .nav-link i { font-size: 10.2px; flex-basis: 11px; }
}
@media (max-width: 1440px) {
    .nav-links .nav-link > i:first-child { display: none; }   /* text-only on small laptops */
    .nav-links .nav-link { padding: 0 5px; }
}