/* r2: same header width as .org/.app/.dev; the Explorer's own CSS capped it at 1920 px. */
.header-shell .utility, .header-shell .header { max-width: 2040px; }

@media (max-width:640px){.utility{gap:10px}.product-switch{flex:1 1 auto;min-width:0;overflow-x:auto;scrollbar-width:none;-webkit-mask:linear-gradient(90deg,#000 88%,transparent)}.product-switch a{white-space:nowrap}.product-switch::-webkit-scrollbar{display:none}.utility-right{flex:none}}