/* 9.17: retain the stage32 brand and fit the 9.16 language picker. */
.hp-studio .header-right{min-width:0;gap:14px}
.hp-studio .language-picker select{border-color:var(--line);color:var(--hp-grey)}
.hp-studio .language-picker small{color:var(--muted)}
@media(max-width:740px){.hp-studio .header-right{max-width:calc(100% - 144px);gap:5px}.hp-studio .language-picker{min-width:0;width:100%}.hp-studio .language-picker select{max-width:100%;padding:5px;font-size:12px}.hp-studio .language-picker small{font-size:8px;max-width:100%}.hp-studio .header-right .primary{padding:8px;font-size:11px}.hp-studio .topbar{gap:10px}.hp-studio .workspace{min-height:0}}