@import url("https://fonts.googleapis.com/css2?family=Source+Code+Pro&family=Source+Serif+Pro:wght@400;600;700&display=swap");body{font-family:'Source Serif Pro', serif;max-width:40rem;margin:4rem auto;padding-left:1rem;padding-right:1rem}@media (max-width: 40rem){body{margin-top:2rem;margin-bottom:2rem}}a{text-decoration:none;color:#888}a:hover{text-decoration:underline}code{font-family:'Source Code Pro', monospace;font-size:85%}:not(pre)>code{padding:0 0.2em;background-color:rgba(175,184,193,0.2);color:#444;border-radius:2px}header{display:flex;align-items:center;justify-content:space-between;gap:1rem}header h1{margin-block-start:0;margin-block-end:0;font-weight:600}main{text-align:justify}ol,ul{text-align:left}:-webkit-any(article,aside,nav,section) h2{font-size:1.17em;margin-block-start:1em;margin-block-end:1em}:-webkit-any(article,aside,nav,section) h3{font-size:1em;margin-block-start:1em;margin-block-end:1em}