@import url("https://fonts.googleapis.com/css2?family=DM+Sans:opsz,wght@9..40,400;9..40,500;9..40,600&family=DM+Mono:wght@400;500&display=swap");body,html{height:100%;margin:0;padding:0}pre{font-size:.8em}a,a:visited,h1 a,h2 a,h3 a,h4 a,h5 a,h6 a{color:inherit;text-decoration:none}h1,h2,h3,h4,h5,h6{font-weight:400}blockquote{border-left:2px solid;padding-left:1em;margin-left:0}