/* Poppins for the animation documents, from the same files the page uses.
   Self-hosted so the embedded document needs no third-party request. */
@font-face{font-family:Poppins;font-style:normal;font-weight:400;font-display:swap;src:url("./poppins-400.woff2") format("woff2")}
@font-face{font-family:Poppins;font-style:normal;font-weight:600;font-display:swap;src:url("./poppins-600.woff2") format("woff2")}