/* Copied unchanged from ben-ui v0.3.0 (commit 2728659), src/ui/sand-petrol.css. Update from ben-ui, not here. */
/* Approved alternative, 2026-09-22. Import after the React kit or base tokens. */
@import './tokens.css';

.ben-ui {
  --ben-petrol-50: #E2EEF1;
  --ben-petrol-100: #C3DDE3;
  --ben-petrol-200: #91B8C2;
  --ben-petrol-400: #548F9C;
  --ben-petrol-600: #166779;
  --ben-petrol-800: #104B59;
  --ben-canvas: #F3EFE8;
  --ben-surface: #FFFDFA;
  --ben-reading: #F5F2ED;
  --ben-reading-border: #DDD4C8;
  --ben-border: #DDD4C8;
  --ben-ink: #333233;
  --ben-muted: #6C6360;
  --ben-accent: var(--ben-petrol-600);
  --ben-selection: var(--ben-petrol-50);
  --ben-selection-text: var(--ben-petrol-800);
  --ben-control-border: var(--ben-petrol-400);
  --ben-primary-border: var(--ben-petrol-800);
}