@media (prefers-color-scheme: light){body{color:#3c3836;background-color:#fbf1c7}body .secondary{color:#7c6f64}body a,body a:link,body a:visited{color:#076678;text-decoration-color:rgba(7,102,120,.35)}body a:hover{color:#af3a03;text-decoration-color:#af3a03}body .header-links a{background-color:rgba(242,229,188,.7);border-color:#d5c4a1}body .header-links a:hover{background-color:#ebdbb2;border-color:#af3a03}body blockquote{border-left:3px solid #af3a03;color:#312e2c;background-color:rgba(242,229,188,.65)}body code{background-color:#ebdbb2;border:1px solid #d5c4a1}body pre code{background-color:rgba(0,0,0,0);border:0}body pre,body table{background-color:rgba(242,229,188,.7);border:1px solid #d5c4a1}body th,body td{border-bottom:1px solid #d5c4a1}body hr{border-color:#d5c4a1}body .footnote-definition sup{color:#7c6f64}}@media (prefers-color-scheme: dark){body{color:#ebdbb2;background-color:#282828}body .secondary{color:#a89984}body a,body a:link,body a:visited{color:#83a598;text-decoration-color:rgba(131,165,152,.4)}body a:hover{color:#fabd2f;text-decoration-color:#fabd2f}body .header-links a{background-color:rgba(50,48,47,.72);border-color:#504945}body .header-links a:hover{background-color:#3c3836;border-color:#fabd2f}body blockquote{border-left:3px solid #fabd2f;color:#f0e4c6;background-color:rgba(50,48,47,.72)}body code{background-color:#3c3836;border:1px solid #504945}body pre code{background-color:rgba(0,0,0,0);border:0}body pre,body table{background-color:rgba(50,48,47,.72);border:1px solid #504945}body th,body td{border-bottom:1px solid #504945}body hr{border-color:#504945}body .footnote-definition sup{color:#a89984}}.dark-mode-buttons{position:absolute;top:1em;right:1em}.dark-mode-button{border:none;background-color:rgba(0,0,0,0)}.dark-mode-button:hover{cursor:pointer}body:not(.dark-mode){color:#3c3836;background-color:#fbf1c7}body:not(.dark-mode) .secondary{color:#7c6f64}body:not(.dark-mode) a,body:not(.dark-mode) a:link,body:not(.dark-mode) a:visited{color:#076678;text-decoration-color:rgba(7,102,120,.35)}body:not(.dark-mode) a:hover{color:#af3a03;text-decoration-color:#af3a03}body:not(.dark-mode) .header-links a{background-color:rgba(242,229,188,.7);border-color:#d5c4a1}body:not(.dark-mode) .header-links a:hover{background-color:#ebdbb2;border-color:#af3a03}body:not(.dark-mode) blockquote{border-left:3px solid #af3a03;color:#312e2c;background-color:rgba(242,229,188,.65)}body:not(.dark-mode) code{background-color:#ebdbb2;border:1px solid #d5c4a1}body:not(.dark-mode) pre code{background-color:rgba(0,0,0,0);border:0}body:not(.dark-mode) pre,body:not(.dark-mode) table{background-color:rgba(242,229,188,.7);border:1px solid #d5c4a1}body:not(.dark-mode) th,body:not(.dark-mode) td{border-bottom:1px solid #d5c4a1}body:not(.dark-mode) hr{border-color:#d5c4a1}body:not(.dark-mode) .footnote-definition sup{color:#7c6f64}body:not(.dark-mode) #dark-mode-on{display:inline}body:not(.dark-mode) #dark-mode-off{display:none}body.dark-mode{color:#ebdbb2;background-color:#282828}body.dark-mode .secondary{color:#a89984}body.dark-mode a,body.dark-mode a:link,body.dark-mode a:visited{color:#83a598;text-decoration-color:rgba(131,165,152,.4)}body.dark-mode a:hover{color:#fabd2f;text-decoration-color:#fabd2f}body.dark-mode .header-links a{background-color:rgba(50,48,47,.72);border-color:#504945}body.dark-mode .header-links a:hover{background-color:#3c3836;border-color:#fabd2f}body.dark-mode blockquote{border-left:3px solid #fabd2f;color:#f0e4c6;background-color:rgba(50,48,47,.72)}body.dark-mode code{background-color:#3c3836;border:1px solid #504945}body.dark-mode pre code{background-color:rgba(0,0,0,0);border:0}body.dark-mode pre,body.dark-mode table{background-color:rgba(50,48,47,.72);border:1px solid #504945}body.dark-mode th,body.dark-mode td{border-bottom:1px solid #504945}body.dark-mode hr{border-color:#504945}body.dark-mode .footnote-definition sup{color:#a89984}body.dark-mode #dark-mode-on{display:none}body.dark-mode #dark-mode-off{display:inline}@font-face{font-family:"IoskeleyMono";src:url("/fonts/IoskeleyMono-Regular.woff2") format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:"IoskeleyMono";src:url("/fonts/IoskeleyMono-Italic.woff2") format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:"IoskeleyMono";src:url("/fonts/IoskeleyMono-Bold.woff2") format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:"IoskeleyMono";src:url("/fonts/IoskeleyMono-BoldItalic.woff2") format("woff2");font-weight:700;font-style:italic;font-display:swap}html,body{margin:0;padding:0}html{font-size:16px}body{font-family:"IoskeleyMono",monospace;font-size:1rem;line-height:1.65;padding:4.5rem 24%;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}.header-links{display:flex;flex-wrap:wrap;gap:0}.header-links a{border:1px solid;display:inline-flex;line-height:1;margin:0 -1px -1px 0;padding:.45rem .65rem;text-decoration:none;transition:background-color 120ms ease,border-color 120ms ease,color 120ms ease}.header-links a:last-of-type{margin-right:0}.space{margin-bottom:2em}.doublespace{margin-bottom:4em}h1,h2,h3,h4,h5,h6{line-height:1.15;margin:2rem 0 .75rem;letter-spacing:0}h1{font-size:clamp(2rem,5vw,4rem);margin-top:0;max-width:12ch}h2{font-size:1.45rem;margin-top:3rem}h3{font-size:1.15rem}p,ul,ol{margin:0 0 1.25rem}ul,ol{padding-left:1.4rem}li{margin-bottom:.4rem}a{text-decoration-thickness:1px;text-underline-offset:.18em}img{max-width:100%;height:auto;border-radius:2px}blockquote{margin:2rem 0;padding:1rem 1.25rem}code{border-radius:3px;padding:.12em .28em;font-size:.9em}pre{overflow:auto;border-radius:4px;padding:1rem;margin:1.5rem 0}pre code{padding:0}table{border-collapse:collapse;border-radius:4px;display:block;margin:1.5rem 0;overflow-x:auto;width:100%}th,td{padding:.65rem .8rem;text-align:left;vertical-align:top}tr:last-child td{border-bottom:0}hr{border:0;border-top:1px solid;margin:3rem 0}.footnote-definition{margin-top:1em}.footnote-definition:first-of-type{margin-top:3em}.footnote-definition p{display:inline}@media all and (max-width: 1200px){body{padding:3rem 14%}}@media all and (max-width: 800px){body{font-size:.95rem;padding:1.25rem}h1{max-width:none}}