@font-face{font-family:ibm plex mono;font-style:normal;font-weight:200;font-display:swap;src:url(font/IBM_Plex_Mono/IBMPlexMono-ExtraLight.woff2)format("woff2")}@font-face{font-family:ibm plex serif;font-style:normal;font-weight:200;font-display:swap;src:url(font/IBM_Plex_Serif/IBMPlexSerif-ExtraLight.woff2)format("woff2")}@font-face{font-family:ibm plex serif;font-style:italic;font-weight:200;font-display:swap;src:url(font/IBM_Plex_Serif/IBMPlexSerif-ExtraLightItalic.woff2)format("woff2")}@font-face{font-family:ibm plex serif;font-style:normal;font-weight:400;font-display:swap;src:url(font/IBM_Plex_Serif/IBMPlexSerif-Regular.woff2)format("woff2")}html{font-family:ibm plex serif,serif;font-size:32px;font-weight:200;background:#fff;color:#000;text-align:left}body{margin:0;padding-top:43vh;padding-bottom:43vh}.container{max-width:800px;margin:0 auto;padding-left:24px;padding-right:24px;box-sizing:border-box}a,a:hover,a:visited{color:#00f;text-decoration:underline;text-decoration-thickness:2px}.content{text-align:left;line-height:1.5em}p{padding-bottom:4em}b{font-weight:400}code{background-color:#f0f0f0;font-family:ibm plex mono,monospace;font-weight:200}