/* Keep every workspace menu visible, including at browser zoom/mobile widths. */
.page-workspace > .workspace-tabs {
  display: flex;
  flex-wrap: wrap;
  overflow: visible;
  height: auto;
  box-sizing: border-box;
}

.page-workspace > .workspace-tabs > button {
  flex: 0 0 auto;
  min-width: 0;
  max-width: 100%;
}