/* One place that themes every lab. Labs read these color names (--bg --card --ink --mute --line --acc ...), and this file
   sets them from the site's palette, light and dark, so a change here changes all labs. Edit the values to re-theme. */
@import url("https://fonts.googleapis.com/css2?family=Sora:wght@400;500;600;700&display=swap");
:root{--bg:#0E1B2C!important;--card:#14263A!important;--ink:#E8F1F2!important;--mute:#93A8B8!important;--line:#2A4259!important;--acc:#2DD4BF!important;
--accbg:rgba(45,212,191,.14)!important;--ok:#2DD4BF!important;--okbg:rgba(45,212,191,.14)!important;--bad:#FF6B5E!important;--badbg:rgba(255,107,94,.15)!important;--warn:#FFB547!important;
--text:#E8F1F2!important;--fg:#E8F1F2!important;--muted:#93A8B8!important;--surface:#14263A!important;--accent:#2DD4BF!important;--panel:#14263A!important;--acc-ink:#0E1B2C!important;color-scheme:dark}
@media(prefers-color-scheme:light){:root:not([data-theme=dark]){--bg:#F4F8F9!important;--card:#fff!important;--ink:#0E1B2C!important;--mute:#506879!important;--line:#d3e0e3!important;--acc:#0F766E!important;
--accbg:#d9f1ec!important;--ok:#0F766E!important;--okbg:#dcf3ef!important;--bad:#c4372b!important;--badbg:#fde4e1!important;--warn:#8a5a00!important;
--text:#0E1B2C!important;--fg:#0E1B2C!important;--muted:#506879!important;--surface:#fff!important;--accent:#0F766E!important;--panel:#fff!important;--acc-ink:#fff!important;color-scheme:light}}
:root[data-theme=light]{--bg:#F4F8F9!important;--card:#fff!important;--ink:#0E1B2C!important;--mute:#506879!important;--line:#d3e0e3!important;--acc:#0F766E!important;
--accbg:#d9f1ec!important;--ok:#0F766E!important;--okbg:#dcf3ef!important;--bad:#c4372b!important;--badbg:#fde4e1!important;--warn:#8a5a00!important;
--text:#0E1B2C!important;--fg:#0E1B2C!important;--muted:#506879!important;--surface:#fff!important;--accent:#0F766E!important;--panel:#fff!important;--acc-ink:#fff!important;color-scheme:light}
body{font-family:'Sora','IBM Plex Sans',system-ui,-apple-system,Segoe UI,sans-serif}
button,.btn{border-radius:10px}