/* Recover empty header space; keep touch targets and the current Ranger scale. */
.app-shell {--topbar-height:44px;}
.split {--hud-height:28px;--prompt-height:80px;--keyboard-height:144px;}
.identity strong {height:42px;}
.teacher-actions > .teacher-crest,.teacher-menu > .teacher-crest {height:44px;}
.bridge-support {overflow:visible;}
.bridge-support[data-span='5'] {mask-image:none;}
@media(min-height:900px){.split{--prompt-height:100px;--keyboard-height:194px;}}