:root{--text-primary:#000;--text-secondary:#fff;--bg-primary:#fff;--bg-secondary:#eee;--bg-accent:#222;--link-color:#0c4fbb;--math-color:#148214;--proof-color:#005a8c;--claim-color:#326400;--def-color:#49105a;--blockquote-left-color:#0008;--border-radius:6px;--padding-base:1rem;--gap-base:1rem;--margin-base:2em;--border-width:2px;--border-style:solid;--font-size-small:.875rem;--font-size-base:1rem}@media (prefers-color-scheme:dark){:root{--text-primary:#fff;--text-secondary:#000;--bg-primary:#222831;--bg-secondary:#fff1;--bg-accent:#eee;--link-color:#8cc2dd;--math-color:#6c6;--proof-color:#005a8c;--claim-color:#326400;--def-color:#49105a;--blockquote-left-color:#fff8}}body{font-family:sans-serif;font-size:var(--font-size-base);text-wrap:pretty;color:var(--text-primary);background-color:var(--bg-secondary);justify-content:center;align-items:flex-start;gap:var(--gap-base);padding:var(--margin-base) 0;flex-flow:row-reverse wrap;margin:0;display:flex}main{max-width:60ch}aside,main{background-color:var(--bg-primary);padding:var(--padding-base);border-radius:var(--border-radius)}aside{font-size:var(--font-size-base);text-align:left;max-width:calc(200px + 2rem)}aside img{border-radius:var(--border-radius);width:100%;height:auto}aside dl dt{font-weight:700}aside dd{margin-left:2em}aside ul{list-style:none}aside ul,aside * ul{padding:0 20px}a{color:var(--link-color);text-decoration:none}a:hover{text-decoration:underline}.main-page-year{text-align:center;background-color:#eee;border-radius:6px;margin:.5em;padding:.5em}.main-page-list{grid-template-columns:auto 1fr;gap:.5em;margin:.5em;padding:.5em;list-style:none;display:grid}.main-page-list li{display:contents}.main-page-list li>*{background-color:#eee;border-radius:5px;align-self:start;padding:.5em 1em}math{color:oklch(60% .15 150)}.box{border-style:var(--border-style);border-width:var(--border-width);padding:0}.box>.box{margin:0 5px}.box>p{margin:5px}.box>.boxtitle{color:var(--text-secondary);padding:.1em 0 .1em 1em}.startbox{margin:var(--margin-base) 0 0 0}.endbox{margin:0 0 var(--margin-base) 0}.proof{border-color:var(--proof-color)}.claim{border-color:var(--claim-color)}.def,.conseq{border-color:var(--def-color)}.proof>.boxtitle{background:var(--proof-color)}.claim>.boxtitle{background:var(--claim-color)}.def>.boxtitle,.conseq>.boxtitle{background:var(--def-color)}blockquote{border-left:.3em solid var(--blockquote-left-color);border-radius:.3em;margin-left:1em;padding:.5em}blockquote p{margin:0}p code,pre{font-family:monospace;font-size:var(--font-size-small);background-color:#f8f9fa;border:1px solid #e9ecef;border-radius:6px}pre{margin:20px 0;padding:16px;overflow-x:auto}main * img{border-radius:var(--border-radius);max-width:100%}.co{color:#000;background-color:#bfbf15}.kw,.cf{color:#00b}.st,.ch,.cn,.dv{color:#000;background-color:#2fd92f}