/* Vertical timeline of organizations in AI for formal mathematics. */

.market-timeline {
  --spine: 3rem;
  --dot: var(--color-blue);
  margin: 2.5rem 0 3rem;
  font-family: var(--font-ui);
}

.market-timeline__header {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 0.5rem 1.25rem;
}

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

.market-timeline__legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem 1rem;
  font-size: 0.8125rem;
  color: var(--muted);
}

.market-timeline__key {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
}

.market-timeline__swatch {
  width: 11px;
  height: 11px;
  border-radius: 50%;
  background: var(--dot);
}

.market-timeline__swatch--unknown {
  background: var(--bg);
  box-shadow: inset 0 0 0 2px var(--dot);
}

.market-timeline__list {
  position: relative;
  margin: 0.75rem 0 0;
  padding: 0.25rem 0 0.5rem;
  list-style: none;
}

/* The spine. */
.market-timeline__list::before {
  content: "";
  position: absolute;
  top: 0.5rem;
  bottom: 0.5rem;
  left: calc(var(--spine) / 2);
  width: 2px;
  margin-left: -1px;
  background: var(--border);
}

.market-timeline__list > li {
  position: relative;
  display: flex;
  align-items: center;
  min-height: 1.9rem;
  margin: 0;
  padding: 0.15rem 0 0.15rem var(--spine);
}

.market-timeline__year {
  min-height: 2.1rem !important;
  padding-top: 0.5rem !important;
  font-size: 0.8125rem;
  font-weight: 600;
  letter-spacing: 0.06em;
  color: var(--muted);
}

.market-timeline__year::before {
  content: "";
  position: absolute;
  top: calc(50% + 0.175rem);
  left: calc(var(--spine) / 2 - 6px);
  width: 12px;
  height: 2px;
  background: var(--muted);
}

.market-timeline__dot {
  position: absolute;
  top: 50%;
  left: calc(var(--spine) / 2);
  width: 10px;
  height: 10px;
  border-radius: 50%;
  background: var(--dot);
  box-shadow: 0 0 0 3px var(--bg);
  transform: translate(-50%, -50%);
  transition: transform 120ms ease;
}

.market-timeline__dot--unknown {
  background: var(--bg);
  box-shadow: inset 0 0 0 2px var(--dot), 0 0 0 3px var(--bg);
}

.market-timeline__org:hover .market-timeline__dot {
  transform: translate(-50%, -50%) scale(1.12);
}

.market-timeline__org:hover .market-timeline__focus { color: var(--text); }

.market-timeline__body {
  display: flex;
  flex: 1;
  align-items: baseline;
  gap: 0.75rem;
  min-width: 0;
  font-size: 0.875rem;
}

.market-timeline__org { padding-top: 0.4rem !important; padding-bottom: 0.4rem !important; }

.market-timeline__org .market-timeline__body {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 0.05rem 0.75rem;
}

.market-timeline__org .market-timeline__dot { top: calc(0.4rem + 0.7em); }

.market-timeline__name {
  flex: none;
  font-weight: 600;
  color: var(--text);
}

.market-timeline__focus {
  grid-column: 1 / -1;
  grid-row: 2;
  font-size: 0.8125rem;
  color: var(--muted);
}

.market-timeline__funding {
  flex: none;
  color: var(--text);
  font-variant-numeric: tabular-nums;
}

.market-timeline__marker {
  position: absolute;
  top: 50%;
  left: calc(var(--spine) / 2);
  width: 9px;
  height: 9px;
  background: var(--bg);
  border: 2px solid var(--accent);
  transform: translate(-50%, -50%) rotate(45deg);
}

.market-timeline__event .market-timeline__body { gap: 0.5rem; }

.market-timeline__event-label {
  font-style: italic;
  color: var(--accent);
}

.market-timeline__when {
  flex: none;
  font-size: 0.75rem;
  color: var(--muted);
}

@media (max-width: 650px) {
  .market-timeline { --spine: 2.5rem; }
}

.market-timeline--results { margin: 1.5rem 0 2rem; }

.market-timeline--results .market-timeline__funding { color: var(--muted); }

.market-timeline__focus a { color: inherit; }