@import url("https://fonts.googleapis.com/css2?family=Public+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500;600&display=swap");:root{--ink:#1c232c;--muted:#6a7480;--line:#c7cfd8;--line2:#dde3ea;--chrome:#eef1f5;--chrome2:#e3e8ee;--surface:#fff;--zebra:#f6f8fa;--accent:#1f5fa8;--accent2:#e7eef7;--ok:#2e7d4f;--okb:#e3f0e8;--warn:#a8700f;--warnb:#f6efdf;--bad:#b1281d;--badb:#f6e4e2}body,html{margin:0;padding:0;height:100%;background:#0f1620}*{-webkit-font-smoothing:antialiased}