/* The site's complete type system. Layout styles must not redefine type. */
@font-face{font-family:"JetBrains Mono";src:url('/assets/framerusercontent.com/third-party-assets/fontshare/wf/TZ2PMVPWEVHUPJWOPNSWLOXAF6QPOEMZ/O4OZKA7ZLZGT4JOGT5IEKURK6U3RXYGM/EO5MKE3BUDOZN44BP4HDPXAJAC2BIMCD.woff2') format('woff2');font-style:normal;font-weight:400;font-display:swap}
@font-face{font-family:"JetBrains Mono";src:url('/assets/framerusercontent.com/third-party-assets/fontshare/wf/BTOY6STFL42WXJYET4IAFJ4R4NWQMPYV/SIRJV64UEOICTYN5EECZFJJ3ML2D6HVV/ATU2C7QZBG7GCVXROP265OYM5E55WHMK.woff2') format('woff2');font-style:normal;font-weight:700;font-display:swap}
@font-face{font-family:Inter;src:url('/assets/framerusercontent.com/assets/vQyevYAyHtARFwPqUzQGpnDs.woff2') format('woff2');font-style:normal;font-weight:400;font-display:swap}
@font-face{font-family:Inter;src:url('/assets/framerusercontent.com/assets/syRNPWzAMIrcJ3wIlPIP43KjQs.woff2') format('woff2');font-style:normal;font-weight:700;font-display:swap}
@font-face{font-family:Inter;src:url('/assets/framerusercontent.com/assets/pKRFNWFoZl77qYCAIp84lN1h944.woff2') format('woff2');font-style:italic;font-weight:400;font-display:swap}
@font-face{font-family:Inter;src:url('/assets/framerusercontent.com/assets/ia3uin3hQWqDrVloC1zEtYHWw.woff2') format('woff2');font-style:italic;font-weight:700;font-display:swap}
@font-face{font-family:Fragment Mono;src:url('/assets/fonts.gstatic.com/s/fragmentmono/v6/4iCr6K5wfMRRjxp0DA6-2CLnB4NHhg.woff2') format('woff2');font-style:normal;font-weight:400;font-display:swap}
:root{
  --font-heading:"JetBrains Mono",ui-monospace,monospace;
  --font-math:"Fragment Mono",ui-monospace,monospace;
  --font-family:Inter,Arial,sans-serif;
  --type-h1:clamp(1.875rem,3.5vw,2.5rem);
  --type-h2:clamp(1.5rem,2.5vw,1.75rem);
  --type-h3:clamp(1.25rem,2vw,1.375rem);
  --type-body:1rem;
  --type-subtitle:.875rem;
  --text-muted:#6d6478;
}
html{-webkit-text-size-adjust:100%;text-size-adjust:100%}
body{font-family:var(--font-family);font-size:var(--type-body);font-weight:400;line-height:1.7;-webkit-font-smoothing:antialiased}
h1,h2,h3,.h1,.h2,.h3{font-family:var(--font-heading);font-style:normal;font-weight:400;letter-spacing:normal}
h1,.h1{font-size:var(--type-h1);line-height:1.15}
h2,.h2{font-size:var(--type-h2);line-height:1.25}
h3,.h3{font-size:var(--type-h3);line-height:1.35}
p,.text{font-size:var(--type-body);font-weight:400;line-height:1.7;letter-spacing:normal}
.subtitle{font-size:var(--type-subtitle);font-weight:400;line-height:1.5;letter-spacing:normal;color:var(--text-muted)}
.article-notes{--type-body:.75rem;font-size:var(--type-body)}
h1,h2,h3,p{margin:0}
strong,b{font-weight:700}
em,i{font-style:italic}
button,input,select,textarea,code,pre{font:inherit}

.math{font-family:var(--font-math);font-size:var(--type-body);font-style:normal;font-weight:400;line-height:normal;letter-spacing:normal}
.math math,.math math *{font-family:inherit}
.math-display{display:block;max-width:100%;overflow-x:auto;overflow-y:hidden;padding:.5em 0;margin:1.4rem 0}
.math math[display="block"]{margin:0}