/* Purple Exhibits brand colours — workshops. Generated 21 Oct 2026 from the live stylesheets; overrides only, originals untouched. */
html:root{--lime:#e2b3ee}
html .revision{--purple:#9614bb}