.supply-workbench .history-workspace > .drawer-shade { top: var(--header-height, 0px); }
