/* Viewport shell: header measures itself; only the two workspace panes scroll. */
@media screen {
 body:has(>#workspace:not([hidden])){overflow:hidden}
 .v5 #workspace:not([hidden]){position:relative;display:flex;flex-direction:column;padding:0;box-sizing:border-box;height:100vh;height:100dvh;min-height:0;overflow:hidden}
 .v5 #workspace>header{flex:0 0 auto;position:relative;top:auto;min-width:0;max-height:40vh;max-height:40dvh;overflow:auto;box-sizing:border-box}
 .v5 #workspace .workspace-layout{flex:1 1 0;min-height:0;min-width:0;height:auto;display:grid;grid-template-rows:minmax(0,1fr);align-items:stretch!important;overflow:hidden}
 .v5 #workspace .workspace-layout>.container{position:relative;min-height:0;height:100%;min-width:0;margin:0;box-sizing:border-box;overflow:auto;overscroll-behavior:contain;scrollbar-gutter:stable;padding-bottom:calc(68px + env(safe-area-inset-bottom,0px))}
 .v5 #workspace .workspace-layout>#tabs{box-sizing:border-box;overscroll-behavior:contain;scrollbar-gutter:stable;padding-bottom:calc(68px + env(safe-area-inset-bottom,0px))}
 .v5 #workspace>#menuToggle{position:fixed;bottom:calc(12px + env(safe-area-inset-bottom,0px));left:12px}
 @media(min-width:761px){
  .v5 #workspace .workspace-layout>#tabs{position:relative!important;top:auto!important;align-self:stretch!important;height:100%!important;max-height:100%!important;min-height:0!important;overflow-y:auto!important;overflow-x:hidden!important}
 }
 @media(max-width:760px){
  .v5 #workspace .workspace-layout{grid-template-columns:minmax(0,1fr)}
  .v5 #workspace .workspace-layout:not(.menu-collapsed)>#tabs{height:100vh!important;height:100dvh!important;max-height:100dvh!important}
 }
}