/* GENERATED FILE -- DO NOT EDIT.

   Source: web/src/design-system/tokens/product-semantic.tokens.json (via design-system.resolver.json)
   Generator: web/tokens.py, run by web/build.py.

   An edit here is lost on the next build, and `tests/workspace/web/test_tokens.py` fails
   when this file and its source disagree -- which is the point: the source is
   the source, and a hand-edit that survived would make that untrue quietly. */


:root,
[data-theme] {
  --statement-observed-rule-style: solid;
  --statement-observed-rule-width: 3px;
  --statement-observed-rule-color: var(--text-secondary);
  --statement-established-rule-style: solid;
  --statement-established-rule-width: 2px;
  --statement-established-rule-color: var(--border-strong);
  --statement-assessed-rule-style: double;
  --statement-assessed-rule-width: 4px;
  --statement-assessed-rule-color: var(--text-secondary);
  --statement-inferred-rule-style: dashed;
  --statement-inferred-rule-width: 3px;
  --statement-inferred-rule-color: var(--accent-base);
  --statement-inferred-text-color: var(--text-secondary);
  --statement-disputed-rule-style: solid;
  --statement-disputed-rule-width: 4px;
  --statement-disputed-rule-color: var(--caution-base);
  --statement-disputed-background: var(--caution-wash);
  --statement-disputed-weight: 500;
  --statement-incomplete-rule-style: dotted;
  --statement-incomplete-rule-width: 3px;
  --statement-incomplete-rule-color: var(--border-strong);
  --statement-incomplete-opacity: 0.75;
  --modality-actual-grayscale: 0;
  --modality-actual-opacity: 1;
  --modality-historical-grayscale: 1;
  --modality-historical-opacity: 0.8;
  --modality-proposed-grayscale: 0;
  --modality-proposed-opacity: 1;
  --modality-planned-grayscale: 0;
  --modality-planned-opacity: 1;
  --modality-hypothetical-grayscale: 0;
  --modality-hypothetical-opacity: 1;
  --modality-forecast-grayscale: 0;
  --modality-forecast-opacity: 1;
  --connection-explicit-rule-style: solid;
  --connection-explicit-rule-color: var(--border-strong);
  --connection-derived-rule-style: dashed;
  --connection-derived-rule-color: var(--accent-base);
}