/* Platform palette: docs/DESIGN_PATTERNS.md. Organisation themes remain independent. */
:root {
  --brand-green-light: #88d840;
  --brand-green-bright: #67b826;
  --brand-green-deep: #247209;
  --brand-grey: #dad8db;
  --brand-forest: #2a351f;
  --brand-primary: var(--brand-green-deep);
  --brand-primary-hover: color-mix(in srgb, var(--brand-green-deep) 80%, var(--brand-forest));
  --brand-focus-soft: var(--brand-grey);
  --brand-surface: #fff;
  --brand-canvas: color-mix(in srgb, var(--brand-grey) 20%, white);
  --brand-border: var(--brand-grey);
  --brand-ink: var(--brand-forest);
  --brand-muted: #555650;
  --brand-control-border: #76756e;
}
.language-picker { display:flex; gap:8px; justify-content:flex-end; align-items:center; padding:16px 24px; background:white; color:#2a351f; font-size:14px; }
body .language-picker button { appearance:none; border:0; border-radius:0; background:transparent; color:inherit; font:inherit; margin:0; padding:6px 2px; min-height:32px; cursor:pointer; text-decoration:underline; text-underline-offset:3px; box-shadow:none; }
body .language-picker button[aria-current] { font-weight:700; text-decoration:none; }
body .language-picker button:hover { background:transparent; color:inherit; text-decoration:underline; }
body .language-picker button:focus-visible { outline:2px solid currentColor; outline-offset:2px; }