/* Portal navigation: module IDs and operational screens are preserved. */
#nav .nav-label{margin:18px 13px 5px;color:#90a9be;font-size:10px;font-weight:750;letter-spacing:.13em;line-height:1.5}
#nav .nav-label:first-child{margin-top:4px}
#nav button{min-height:40px}
.sidebar #nav{min-height:0;overflow-y:auto;overscroll-behavior:contain;scrollbar-width:thin}
.sidebar .sidebar-foot{flex-shrink:0}
.sidebar .external-link{flex-shrink:0}
@media(max-height:820px){#nav button{padding-top:8px;padding-bottom:8px;min-height:37px}#nav .nav-label{margin-top:12px}}