/* Keep the full administration menu comfortably within desktop windows. */
@media(min-width:701px){
 #portal-sidebar{gap:10px}
 #portal-sidebar>.nav-item{min-height:40px;padding-top:8px;padding-bottom:8px;margin-top:0;margin-bottom:0}
}
@media(min-width:701px) and (max-height:800px){
 #portal-sidebar{gap:8px}
 #portal-sidebar>.nav-item{min-height:38px;padding-top:7px;padding-bottom:7px}
}