/* Portal on phones: the nav becomes two rows (logo + account, then a
   swipeable row of page links) and nothing may push the page sideways. */
html,body{max-width:100%;overflow-x:clip}
img,svg,video{max-width:100%}
@media (max-width:760px){
  nav{height:auto;flex-wrap:wrap;padding:10px 16px 0;row-gap:8px}
  .nav-logo img{height:32px}
  .nav-right{gap:8px;min-width:0}
  .nav-right #userName{max-width:110px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
  nav .nav-links{display:flex!important;order:3;flex:0 0 calc(100% + 32px);margin:0 -16px;padding:0 12px 8px;gap:4px;overflow-x:auto;scrollbar-width:none;-webkit-overflow-scrolling:touch}
  nav .nav-links::-webkit-scrollbar{display:none}
  nav .nav-links a{flex:0 0 auto;white-space:nowrap;padding:7px 12px;font-size:13.5px}
  main{padding-left:16px!important;padding-right:16px!important}
  main *{min-width:0}
  pre,table{max-width:100%;overflow-x:auto;display:block}
}

/* "Home" link back to the main website, first in the portal nav */
.nav-links a.nav-home{display:inline-flex;align-items:center;gap:6px;color:var(--teal-deep,#0B7F80);font-weight:600;border-right:1px solid var(--s200,#E2E8F0);border-radius:var(--radius,8px) 0 0 var(--radius,8px);margin-right:4px}
.nav-links a.nav-home:hover{background:rgba(14,165,165,.1);color:#06292A}
.nav-home svg{transition:transform .25s ease}
.nav-home:hover svg{transform:translateY(-2px)}