/* expression_eval.css — the reduction trace: faint history, the boxed sub-expression, chars. */
.ee-hist { fill: #5b6b80; font-size: 14px; font-family: ui-monospace, Menlo, Consolas, monospace; }
.ee-focus { fill: rgba(251, 191, 36, 0.22); stroke: #fbbf24; stroke-width: 1.3; }
.ee-ch { fill: #e8eef6; font-size: 19px; font-weight: 600; font-family: ui-monospace, Menlo, Consolas, monospace; }
.ee-ch-hi { fill: #fde68a; font-weight: 800; }
.ee-ch-done { fill: #34d399; font-weight: 800; }
.ee-tick { fill: #34d399; font-size: 14px; font-weight: 700; }