.internal/defense-factory-ui/src/workbench/figma-shell.css

/* Feature composition from the Figma frames; controls keep their shared variants. */
.df-workbench-shell {
  --df-page-inset: 24px;
  /* Keep sticky table headers below the menus portaled into the document body. */
  isolation: isolate;
  display: flex;
  flex-direction: column;
  flex: 1;
  width: 100%;
  min-width: 0;
  gap: 24px;
  padding: 16px var(--df-page-inset) 48px;
}
.df-workbench-navigation {
  display: flex;
  flex-direction: column;
  gap: 16px;
  min-width: 0;
}
.df-workbench-navigation-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  flex-wrap: wrap;
  min-height: 32px;
}
.df-workbench-tabs {
  display: flex;
  flex-wrap: wrap;
  gap: 2px;
  min-width: 0;
}
.df-workbench-navigation-tab {
  display: inline-flex;
  align-items: center;
  min-height: 36px;
  padding-inline: 12px;
  border: 1px solid transparent;
  border-radius: 9999px;
  color: var(--color-text-tertiary);
  font-size: 14px;
  font-weight: 400;
  line-height: 22px;
  letter-spacing: -0.14px;
  white-space: nowrap;
}
.df-workbench-navigation-tab:hover {
  background: var(--color-background-primary-ghost-hover);
}
.df-workbench-navigation-tab[aria-current="page"] {
  color: var(--color-text);
  background: var(--color-background-primary-soft);
}
.df-workbench-navigation-tab[aria-current="page"]:hover {
  background: color-mix(in srgb, var(--color-text) 10%, transparent);
}
.df-workbench-navigation-tab:focus-visible {
  outline: 2px solid var(--color-ring);
  outline-offset: -2px;
}
.df-finding-content-toggle {
  --segmented-control-font-size: 12px;
  --segmented-control-font-weight: 500;
}
.df-workbench-page-actions {
  display: flex;
  align-items: center;
  gap: 8px;
  max-width: 100%;
  flex-wrap: wrap;
  margin-left: auto;
}
.df-workbench-breadcrumbs {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  color: var(--color-text-secondary);
  font-size: 12px;
}
.df-dashboard-freshness {
  font-size: 12px;
  line-height: 22px;
  color: var(--color-text-secondary);
}
.df-repository-scope {
  width: 180px;
  max-width: 100%;
  min-width: 0;
}
.df-repository-picker > input {
  /* Let the selected repository name use the field instead of reserving an empty input's width. */
  flex: 1;
  width: 0;
  min-width: 2ch;
}
.df-overview-metrics {
  display: grid;
  gap: 0;
  border: 1px solid var(--color-border);
  border-radius: 12px;
  overflow: hidden;
}
.df-overview-metric {
  min-width: 0;
  min-height: 104px;
  padding: 20px 16px;
  text-align: center;
}
.df-overview-metric + .df-overview-metric {
  border-left: 1px solid var(--color-border);
}
.df-overview-metric dl {
  display: flex;
  flex-direction: column;
  gap: 4px;
}
.df-overview-metric dt {
  order: 1;
  color: var(--color-text-tertiary);
  font-size: 12px;
  line-height: 18px;
}
.df-overview-metric dd {
  margin: 0;
  color: var(--color-text-emphasis);
  font-size: 20px;
  font-weight: 500;
  line-height: 28px;
  font-variant-numeric: tabular-nums;
}
@media (max-width: 640px) {
  .df-workbench-shell {
    --df-page-inset: 16px;
    padding: 12px var(--df-page-inset) 32px;
    gap: 20px;
  }
  .df-workbench-page-actions {
    margin-left: 0;
  }
  .df-dashboard-freshness {
    width: 100%;
  }
  .df-overview-metric + .df-overview-metric {
    border-left: 0;
    border-top: 1px solid var(--color-border);
  }
}