/* Log-scale chart of AI-driven formalization sizes. */

.scale-chart {
  position: relative;
  margin: 2.5rem 0 3rem;
  font-family: var(--font-ui);
}

.scale-chart__title {
  font-size: 0.9375rem;
  font-weight: 600;
  color: var(--text);
}

.scale-chart__canvas { margin-top: 0.75rem; overflow-x: auto; }

.scale-chart__canvas svg {
  display: block;
  width: 100%;
  min-width: 520px;
  height: auto;
}

.scale-chart__grid { stroke: var(--border); stroke-width: 1; opacity: 0.6; }

.scale-chart__axis { stroke: var(--muted); stroke-width: 1; }

.scale-chart__tick { font-size: 12px; fill: var(--muted); }

.scale-chart__reference {
  stroke: var(--accent);
  stroke-width: 1.5;
  stroke-dasharray: 5 4;
}

.scale-chart__reference-label { font-size: 12px; fill: var(--accent); }

.scale-chart__line {
  fill: none;
  stroke: var(--color-blue);
  stroke-width: 2;
  stroke-linejoin: round;
}

.scale-chart__dot {
  fill: var(--color-blue);
  stroke: var(--bg);
  stroke-width: 2;
}

.scale-chart__projection {
  stroke-dasharray: 1 6;
  stroke-linecap: round;
}

.scale-chart__target {
  fill: var(--bg);
  stroke: var(--color-blue);
  stroke-width: 2;
}

.scale-chart .scale-chart__note {
  margin: 0.75rem 0 0;
  font-size: 0.8125rem;
  line-height: 1.5;
  color: var(--muted);
  text-indent: 0;
}

.scale-chart__hit { fill: transparent; }

.scale-chart__point { cursor: pointer; outline: none; }

.scale-chart__point.is-active .scale-chart__dot { r: 7; }

.scale-chart__label { font-size: 12.5px; fill: var(--text); pointer-events: none; }

.scale-chart__tooltip {
  position: absolute;
  z-index: 2;
  display: flex;
  flex-direction: column;
  gap: 0.1rem;
  max-width: 240px;
  padding: 0.5rem 0.7rem;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--card-bg);
  box-shadow: 0 4px 14px rgba(41, 41, 35, 0.12);
  font-size: 0.8125rem;
  color: var(--muted);
  pointer-events: none;
}

.scale-chart__tooltip[hidden] { display: none; }

.scale-chart__tooltip strong { color: var(--text); font-size: 0.875rem; }