styles.css

:root {
  --ink: #17202a;
  --muted: #5f6b76;
  --line: #d7dde3;
  --surface: #ffffff;
  --surface-soft: #f5f7f8;
  --primary: #185f8d;
  --primary-dark: #11496d;
  --success: #27825b;
  --warning: #a25e15;
}

.gradio-container {
  background: var(--surface-soft) !important;
  color: var(--ink) !important;
  max-width: min(1680px, 100vw) !important;
  margin: 0 auto !important;
  padding: 0 !important;
  width: 100vw !important;
}

#topbar {
  align-items: center;
  border-bottom: 1px solid var(--line);
  margin-bottom: 12px;
  padding-bottom: 10px;
}

#product-title {
  flex: 1 1 auto;
}

#product-title h1 {
  color: var(--ink);
  font-size: 24px;
  line-height: 1.25;
  margin: 0;
}

#annotator-selector {
  flex: 0 0 auto;
  min-width: 220px;
}

#download-annotations {
  align-self: end;
  flex: 0 0 auto;
  min-width: 210px;
}

#annotation-guide {
  background: var(--surface);
  border-color: var(--line);
  margin-bottom: 12px;
}

#annotation-guide [data-testid="accordion-content"] {
  max-height: 160px;
  overflow-y: auto;
}

#annotation-guide h2 {
  font-size: 17px;
  margin: 8px 0 10px;
}

#annotation-guide h3 {
  font-size: 15px;
  margin: 14px 0 6px;
}

#annotation-guide p,
#annotation-guide li {
  font-size: 13px;
  line-height: 1.5;
}

.progress-shell {
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 10px 12px;
}

.progress-copy {
  align-items: baseline;
  color: var(--muted);
  display: flex;
  font-size: 13px;
  gap: 10px;
  justify-content: flex-start;
  margin-bottom: 7px;
}

.progress-copy strong {
  color: var(--ink);
}

.annotator-name {
  margin-left: auto;
}

progress {
  accent-color: var(--success);
  display: block;
  height: 8px;
  width: 100%;
}

#save-status {
  color: var(--success);
  font-size: 13px;
  min-height: 22px;
  padding: 5px 2px 0;
}

#case-title h3 {
  font-size: 17px;
  margin: 3px 0 8px;
}

#case-title p {
  color: var(--muted);
  font-size: 12px;
}

#image-view-selector {
  max-width: 360px;
}

#image-view-selector [role="radiogroup"] {
  display: flex;
  gap: 8px;
}

#image-view-selector [role="radiogroup"] label {
  flex: 1 1 0;
  justify-content: center;
  min-width: 0;
  white-space: nowrap;
}

#statement-image {
  background: var(--surface);
  border-color: var(--line);
  border-radius: 6px;
}

#statement-image img {
  object-fit: contain !important;
}

#formula-display {
  margin-top: 10px;
}

.formula-shell {
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 12px 14px;
}

.formula-label {
  color: var(--muted);
  font-size: 12px;
  font-weight: 600;
  letter-spacing: 0;
  margin-bottom: 5px;
}

.formula-expression {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  color: var(--ink);
  font-size: 15px;
  gap: 7px;
  line-height: 1.5;
  overflow-wrap: anywhere;
}

.formula-parent,
.formula-term,
.term-label {
  min-width: 0;
}

.formula-term {
  align-items: baseline;
  display: inline-flex;
  flex-wrap: wrap;
  gap: 5px;
  max-width: 100%;
}

.operation-badge {
  border: 1px solid;
  border-radius: 4px;
  display: inline-block;
  font-size: 12px;
  font-weight: 700;
  line-height: 1.25;
  padding: 2px 5px;
  white-space: nowrap;
}

.operation-add {
  background: #eef8f3;
  border-color: #8fcbb6;
  color: #176b52;
}

.operation-subtract {
  background: #fff4f2;
  border-color: #e6a39a;
  color: #9f2d20;
}

.formula-sign-note {
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 12px;
  line-height: 1.45;
  margin-top: 9px;
  padding-top: 8px;
}

#workbench {
  align-items: flex-start;
  gap: 16px;
  margin-top: 14px;
}

#annotation-panel {
  border-left: 1px solid var(--line);
  padding-left: 16px;
}

#navigation {
  background: var(--surface-soft);
  border-top: 1px solid var(--line);
  gap: 8px;
  margin-top: 16px;
  padding-top: 12px;
}

#navigation button {
  border-radius: 5px !important;
  min-height: 42px;
}

#navigation button.primary {
  background: var(--primary) !important;
  border-color: var(--primary) !important;
}

#navigation button.primary:hover {
  background: var(--primary-dark) !important;
}

@media (max-width: 760px) {
  #annotation-guide [data-testid="accordion-content"] {
    max-height: 120px;
  }

  #topbar,
  #workbench,
  #workbench > .column,
  #navigation {
    max-width: 100% !important;
    min-width: 0 !important;
    width: 100% !important;
  }

  #workbench .block {
    max-width: 100% !important;
    min-width: 0 !important;
  }

  #workbench {
    flex-direction: column !important;
  }

  #workbench > .column {
    flex: 1 1 auto !important;
  }

  #product-title h1 {
    font-size: 20px;
  }

  #topbar {
    align-items: stretch;
    gap: 8px;
  }

  #annotator-selector {
    min-width: 100%;
  }

  #download-annotations {
    min-width: 100%;
    width: 100%;
  }

  .progress-copy {
    flex-wrap: wrap;
  }

  .annotator-name {
    flex-basis: 100%;
    margin-left: 0;
    overflow-wrap: anywhere;
  }

  #image-view-selector {
    max-width: 100%;
  }

  #statement-image {
    height: 220px !important;
    min-height: 220px;
  }

  #annotation-panel {
    border-left: 0;
    border-top: 1px solid var(--line);
    padding-left: 0;
    padding-top: 14px;
  }

  #navigation {
    display: grid !important;
    grid-template-columns: 1fr 1fr;
  }

  #navigation > div {
    min-width: 0 !important;
    width: 100% !important;
  }
}