.button {
  display: inline-block;
  padding: 10px 18px;
  border-radius: 6px;
  text-decoration: none;
  font-size: 14px;
  border: 1px solid var(--color-border);
  color: var(--color-text-primary);
  transition: all 0.15s ease;
}

.button.primary {
  background: var(--color-accent);
  color: #fff;
  border: none;
}

.button:hover {
  opacity: 0.9;
}

.header {
  border-bottom: 1px solid var(--color-border);
  padding: var(--space-3) 0;
}

.nav {
  display: flex;
  justify-content: space-between;
  align-items: center;
}

.diagram {
  font-family: var(--font-mono);
  font-size: 13px;
  background: var(--color-bg-subtle);
  padding: var(--space-4);
  border-radius: 8px;
  border: 1px solid var(--color-border);
}