@import url("https://fonts.googleapis.com/css2?family=DM+Sans:ital,opsz,wght@0,9..40,100..1000;1,9..40,100..1000&family=JetBrains+Mono:ital,wght@0,100..800;1,100..800&display=swap");body{-webkit-font-smoothing:antialiased;}:is(h1, h2, h3, h4){letter-spacing:-0.02em;}.ipsRichText code, .ipsRichText pre, .ipsRichText p > code{font-family:"JetBrains Mono", ui-monospace, monospace;}.ipsFooter{border-top:1px solid var(--i-box--bo-co);}