/*! * cookie-banner.css – opmaak van de cookiebanner * * Stond tot 11-09-2026 als sjabloonstring in cookie-banner.js en werd daar in * een