:root{--black:#111;--gray:#6b6b6b;--line:#dedede;--white:#fff}*{box-sizing:border-box}html{background:var(--white)}body{color:var(--black);background:var(--white);margin:0;font-family:Arial,Helvetica,sans-serif;font-size:15px;line-height:1.55}a{color:inherit}.home{width:min(680px,100% - 40px);margin:0 auto;padding:18vh 0 12vh}.home h1{letter-spacing:-.01em;margin:0 0 18px;font-size:16px;font-weight:600}.intro{max-width:600px;margin:0 0 72px;font-size:18px;line-height:1.6}.post-list{border-top:1px solid var(--line)}.post-link{border-bottom:1px solid var(--line);justify-content:space-between;align-items:baseline;gap:12px;padding:13px 0;text-decoration:none;display:flex}.post-link:hover span:first-child,.post-link:focus-visible span:first-child{text-underline-offset:3px;text-decoration:underline}.article-page article{width:min(680px,100% - 40px);margin:18vh auto 14vh}.article-page h1{letter-spacing:-.01em;margin:0 0 18px;font-size:21px;font-weight:700}.prose{font-size:16px;line-height:1.6}.prose h2,.prose h3{letter-spacing:-.025em;margin:48px 0 12px;font-family:Arial,Helvetica,sans-serif}.prose blockquote{border-left:1px solid var(--black);margin:36px 0;padding-left:20px}.prose pre.formula{white-space:pre-wrap;word-break:break-word;margin:28px 0;padding:0;font-family:inherit;font-size:16px;line-height:1.7;overflow-x:auto}.prose sub,.prose sup{font-size:.72em;line-height:0}.prose figure.diagram{margin:28px 0 8px}.prose figure.diagram svg{display:block}.prose ul{margin:16px 0 28px;padding-left:20px}.prose figure{margin:36px 0}.prose img{width:auto;max-width:100%;height:auto}.prose figcaption{color:var(--gray);margin-top:8px;font-size:13px}.back{color:var(--gray);text-underline-offset:3px;margin-top:56px;font-size:13px;display:inline-block}@media (max-width:600px){.home{padding-top:12vh}.intro{margin-bottom:56px}}