#workspace-editor [hidden]{display:none!important}
#workspace-editor[data-state="busy"],#workspace-editor[data-state="stale"],#workspace-editor[data-state="unavailable"]{border-inline-start:4px solid #a46b13}

.workspace-recovery{margin-top:1rem;min-width:0}.workspace-recovery select{display:block;width:100%;min-width:0;max-width:100%;margin:1rem 0;padding:.7rem}.workspace-recovery button{max-width:100%;white-space:normal;margin:.3rem}.workspace-recovery p{overflow-wrap:anywhere}