:root{--text-font-family: Charter, Georgia, Palatino, "Palatino Linotype", Times, "Times New Roman", serif;--mono-font-family: Menlo, Consolas, monospace;--font-size: 13pt;--line-height: 1.5em;--meta-scaling-factor: 0.82;--footnote-scaling-factor: 0.95;--max-width: 751px;--grid-gap: 10px;--default-padding: 20px;--border-radius: 10px;--border-style: solid;--border-width: 3px;--default-primary-color-light: #d01c11;--default-primary-color-dark: #ff4242;--primary-color-light: var(--default-primary-color-light);--primary-color-dark: var(--default-primary-color-dark);--nav-bg-image-light: url("/h/d01c11.png");--nav-bg-image-dark: url("/h/ff4242.png");--link-color: var(--primary-color);--body-text-light: #202020;--body-text-dark: #c7c7c7;--accent-grey-light: #999;--accent-grey-dark: #9a9a9a;--block-border-color-light: #dfdfdf;--block-background-light: #f3f3f3;--block-border-color-dark: #434343;--block-background-dark: #1d1d1d;--screenshot-border-light: #f0f0f0;--screenshot-border-dark: #3f3f3f;--background-texture-light: url("/static/white-waves.png");--background-color-light: #fafafa;--background-texture-dark: url("/static/black-waves.png");--background-color-dark: #0d0d0d}:root{--body-text: var(--body-text-light);--primary-color: var(--primary-color-light);--accent-grey: var(--accent-grey-light);--block-border-color: var(--block-border-color-light);--block-background: var(--block-background-light);--screenshot-border: var(--screenshot-border-light);--background-image: var(--background-texture-light);--background-color: var(--background-color-light);--nav-bg-image: var(--nav-bg-image-light)}@media(prefers-color-scheme: dark){:root{--body-text: var(--body-text-dark);--primary-color: var(--primary-color-dark);--accent-grey: var(--accent-grey-dark);--block-border-color: var(--block-border-color-dark);--block-background: var(--block-background-dark);--screenshot-border: var(--screenshot-border-dark);--background-image: var(--background-texture-dark);--background-color: var(--background-color-dark);--nav-bg-image: var(--nav-bg-image-dark)}}@media print{:root{--accent-grey: var(--body-text);--background-image: none;--background-color: none}}body{font:var(--font-size) var(--text-font-family);line-height:var(--line-height);color:var(--body-text)}h1,h2,h3{color:var(--primary-color);font-weight:normal}h1{font-size:2em}h2{margin-top:2em;font-size:1.5em;line-height:1.5em;margin-bottom:0}p{text-wrap:pretty}a{text-underline-offset:2px;color:var(--link-color)}a:visited{color:var(--body-text)}h1 a:visited,h2 a:visited,h3 a:visited{color:var(--link-color)}a:hover{color:var(--link-color);text-decoration:underline;text-decoration-thickness:4px;text-decoration-skip-ink:none}a.download{border-color:var(--link-color);color:var(--link-color) !important;background:rgba(white, 0.4) !important}@media print{main a[href]:after{content:" (" attr(href) ")"}.meta a[href]:after,.article_cards a[href]:after,.article_links a[href]:after{content:""}}blockquote{margin-left:0;margin-right:0}ul.plain_list,ul.dot_list{list-style-type:none;padding:0}ul.dot_list li{display:inline}ul.dot_list li:not(:last-child)::after{content:" · "}body{margin:0;padding:0;background:var(--background-image) var(--background-color);display:grid;grid-template-rows:auto 1fr auto;min-height:100vh}main,footer>*,nav>*,#editing-toolbar_inner{max-width:var(--max-width);margin-left:auto;margin-right:auto;padding-left:var(--default-padding);padding-right:var(--default-padding);width:calc(100vw - 2*var(--default-padding) - env(safe-area-inset-left) - env(safe-area-inset-right))}img,video,svg,iframe,figure,article{margin-left:auto;margin-right:auto}svg{display:block}figcaption{margin-top:8px}pre,blockquote{border:var(--border-width) var(--border-style) var(--block-border-color);border-radius:var(--border-radius);background-color:var(--block-background)}blockquote pre{border:none;background:none;padding:0}a.download{border-radius:var(--border-radius);border-style:var(--border-style);border-width:var(--border-width)}article,main{padding-top:3px;padding-bottom:2em}.screenshot{border-radius:var(--border-radius);border:var(--border-width) var(--border-style) var(--screenshot-border);max-width:calc(100% - 2*var(--border-width))}@media(prefers-color-scheme: dark){img:not([src*=".svg"]):not(.dark_aware){filter:grayscale(10%)}img:not(.twemoji):not(.dark_aware),svg[role=img]:not(.dark_aware){background:white}a.download img{background:none}}img,video,figure{max-width:100%;display:block}iframe{display:block}.indented,a.download{margin-left:var(--default-padding);margin-right:var(--default-padding)}@media screen and (max-width: calc(var(--max-width) + var(--default-padding) * 3)){.indented,blockquote,pre,a.download{margin-left:0px;margin-right:0px}}blockquote{padding:1px var(--default-padding)}blockquote p:first-child{margin-top:calc(2*var(--default-padding)/3)}blockquote p:last-child{margin-bottom:calc(2*var(--default-padding)/3)}sup,sub{vertical-align:0ex;position:relative}sub{top:.8ex}sup{bottom:1ex}.meta,figcaption,footer{font-size:calc(var(--font-size)*var(--meta-scaling-factor));line-height:calc(var(--line-height)*var(--meta-scaling-factor)*1.15)}.meta a:hover,figcaption a:hover,footer a:hover{text-decoration-thickness:3px}.footnotes{font-size:calc(var(--font-size)*var(--footnote-scaling-factor));line-height:calc(var(--line-height)*var(--footnote-scaling-factor))}.title{font-size:1.9em;line-height:1.45em;margin-bottom:-6px}.title a{text-decoration:none}.title.linkpost_title{font-size:1.17em;line-height:1.35em;padding-top:12px}.title.linkpost_title a{text-decoration:underline}.title.linkpost_title::after{content:"→"}.visually-hidden{position:absolute !important;width:1px !important;height:1px !important;padding:0 !important;margin:-1px !important;overflow:hidden !important;clip:rect(0, 0, 0, 0) !important;white-space:nowrap !important;border:0 !important}.title.linkpost_title::after,.meta,.meta a,.meta a:visited,figcaption,figcaption a,figcaption a:hover,figcaption a:visited{color:var(--accent-grey)}.permalink a,.permalink a:visited{color:var(--primary-color)}@media screen and (min-width: 991px){.wide_img{max-width:calc(100% + 200px);margin-left:calc(-1*200px/2);margin-right:calc(-1*200px/2)}.wide_img figcaption,.fullwidth_img figcaption{padding-left:calc(200px/2 + env(safe-area-inset-left));padding-right:calc(200px/2 + env(safe-area-inset-right))}}@media screen and (min-width: 791px)and (max-width: 991px){.wide_img{max-width:calc(100vw - 2*var(--default-padding));margin-left:calc(var(--default-padding) + var(--max-width)/2 - 50vw);margin-right:calc(var(--default-padding) + var(--max-width)/2 - 50vw)}.wide_img figcaption,.fullwidth_img figcaption{padding-left:calc(50vw - var(--default-padding) - var(--max-width)/2 + env(safe-area-inset-left));padding-right:calc(50vw - var(--default-padding) - var(--max-width)/2 + env(safe-area-inset-right))}}@media screen and (max-width: 751px){.fullwidth_img,.photo{width:calc(100% + var(--default-padding)*2 + env(safe-area-inset-left, 0px) + env(safe-area-inset-right, 0px));max-width:calc(100% + var(--default-padding)*2 + env(safe-area-inset-left, 0px) + env(safe-area-inset-right, 0px));margin-left:calc(-1*(var(--default-padding) + env(safe-area-inset-left, 0px)));margin-right:calc(-1*(var(--default-padding) + env(safe-area-inset-right, 0px)))}.fullwidth_img figcaption,.photo figcaption{padding-left:calc(var(--default-padding) + env(safe-area-inset-left));padding-right:calc(var(--default-padding) + env(safe-area-inset-right))}}code,pre{font-family:var(--mono-font-family);overflow-x:auto}code{font-size:88%;line-height:88%}pre{padding:calc(2*var(--default-padding)/3) calc(var(--default-padding) - var(--border-width));-webkit-text-size-adjust:100%}pre code{margin:0px;padding-left:0px}pre.wrap{text-wrap:wrap}.annotated_highlight .ln{position:relative;white-space:pre;padding-left:calc((var(--lineno-digits) + 1)*9px + 18px)}.annotated_highlight .ln::before{counter-reset:line-number var(--ln);content:counter(line-number);position:absolute;left:0;text-align:right;width:calc(var(--lineno-digits)*9px);color:var(--body-text);-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;top:-8px;height:21px;border-right:var(--border-width) solid var(--block-border-color);padding-top:11px;padding-right:12px;margin-right:12px}.annotated_highlight .ln.empty::before{content:""}.annotated_highlight figcaption{text-align:center}.annotated_highlight pre:has(+figcaption){margin-bottom:4px}footer{padding-top:15px;padding-bottom:calc(15px + env(safe-area-inset-bottom));font-size:calc(var(--meta-scaling-factor)*var(--font-size));background:var(--primary-color)}footer,footer a,footer a:hover,footer a:visited{color:white}@media(prefers-color-scheme: dark){footer,footer a,footer a:hover,footer a:visited{color:black}}@media print{footer{background:none;border-top:var(--border-width) solid var(--primary-color-light)}footer,footer a,footer a:visited{color:var(--primary-color-light)}footer #footer_links{display:none}}.tex sub,.latex sub,.latex sup{text-transform:uppercase;top:.1ex;line-height:.1em}.tex sub,.latex sub{vertical-align:-0.5ex;margin-left:-0.1667em;margin-right:-0.125em}.tex,.latex,.tex sub,.latex sub{font-size:1em}.latex sup{font-size:.77em;vertical-align:.25em;margin-left:-0.36em;margin-right:-0.15em}nav{padding-top:calc(1px + env(safe-area-inset-top));padding-bottom:1px;background:var(--nav-bg-image) var(--primary-color);background-size:auto 100%}nav h1{margin-bottom:-5px;font-size:1.7em}nav h1 a{text-decoration:none;display:inline-block}nav ul{margin-bottom:14px}nav,nav a,nav a:visited,nav a:hover{color:white}@media(prefers-color-scheme: dark){nav a{background:var(--primary-color);padding:10px 5px;margin:-10px -5px}nav ul.dot_list li:not(:last-child)::after{background:var(--primary-color);padding:10px 0px;margin:-10px 0px}nav h1 a,nav ul li:first-child a{padding-left:9px;margin-left:-9px}nav h1 a,nav ul li:last-child a{padding-right:9px;margin-right:-9px}nav,nav a,nav a:visited{color:black}}nav a[selected]{text-decoration-thickness:4px;text-decoration-skip-ink:none}@media print{nav{background:none;border-bottom:var(--border-width) solid var(--primary-color-light)}nav,nav a,nav a:visited{color:var(--primary-color-light)}}hr{--hr-background-image: url("data:image/svg+xml;charset=UTF-8,<svg xmlns=%22http://www.w3.org/2000/svg%22 viewBox=%220 0 25 5%22 width=%2225px%22 height=%225px%22><rect width=%225%22 height=%225%22 fill=%22%23ccc%22/></svg>")}@media(prefers-color-scheme: dark){hr{--hr-background-image: url("data:image/svg+xml;charset=UTF-8,<svg xmlns=%22http://www.w3.org/2000/svg%22 viewBox=%220 0 25 5%22 width=%2225px%22 height=%225px%22><rect width=%225%22 height=%225%22 fill=%22%23c7c7c7%22/></svg>")}}hr{width:105px;margin:3.5em auto}@media screen{hr{height:5px;border:0;background-image:var(--hr-background-image);background-size:contain;background-repeat:repeat-x}}a.skip-main{position:absolute;left:-999px;top:auto;width:1px;height:1px;overflow:hidden;z-index:-999}.slide{max-width:calc(var(--max-width)*.6);margin-left:auto;margin-right:auto}pre .hll{background-color:#ffc}pre .c{color:#408080;font-style:italic}pre .k,pre .kc,pre .kd,pre .kn,pre .kr,pre .nt,pre .bp{color:green;font-weight:bold}pre .cp{color:#bc7a00}pre .ch,pre .cm,pre .cpf,pre .c1,pre .cs{color:#305f5f;font-style:italic}pre .gh,pre .gp{color:navy;font-weight:bold}pre .gd{color:#a00000}pre .ge{font-style:italic}pre .gr{color:red}pre .gi{color:#00a000}pre .go{color:#888}pre .gs{font-weight:bold}pre .gu{color:purple;font-weight:bold}pre .gt{color:#04d}pre .kp{color:green}pre .kt{color:#b00040}pre .na{color:#7d9029}pre .nb{color:green}pre .nc{color:blue;font-weight:bold}pre .no{color:#800}pre .nd{color:#a2f}pre .ni{color:#999;font-weight:bold}pre .ne{color:#d2413a;font-weight:bold}pre .nf{color:blue}pre .nl{color:#a0a000}pre .nn{color:blue;font-weight:bold}pre .nv{color:#19177c}pre .ow{color:#a2f;font-weight:bold}pre .w{color:#bbb}pre .o,pre .m,pre .mb,pre .mf,pre .mh,pre .mi,pre .mo,pre .il{color:#585858}pre .s,pre .sa,pre .sb,pre .sc,pre .dl,pre .sd,pre .s2,pre .sh,pre .s1{color:#ba2121}pre .sd{font-style:italic}pre .se{color:#b62;font-weight:bold}pre .si{color:#b68;font-weight:bold}pre .sx{color:green}pre .sr{color:#b68}pre .ss{color:#19177c}pre .fm{color:blue}pre .vc,pre .vg,pre .vi,pre .vm{color:#19177c}pre .rustc_error{color:#d01c11;font-weight:bold}pre .rustc_warning{color:#11d01c}pre .rustc_value{color:#d0a311}pre .rustc_lineno{color:#6871ff}@media(prefers-color-scheme: dark){pre .hll{background-color:#424200}pre .c{color:#418383}pre .k,pre .kc,pre .kd,pre .kn,pre .kr,pre .nt,pre .bp{color:#008500}pre .cp{color:#9d6600}pre .ch,pre .cm,pre .cpf,pre .c1,pre .cs{color:#51a4a4}pre .gh,pre .gp{color:#d6d6fe}pre .gd{color:#fe6767}pre .gr{color:#f40000}pre .gi{color:#008600}pre .go{color:#737373}pre .gu{color:#ff61fe}pre .gt{color:#5388ff}pre .kp{color:#008500}pre .kt{color:#ff3a82}pre .na{color:#6b7c23}pre .nb{color:#008500}pre .nc{color:#9393ff}pre .no{color:#ff8d8d}pre .nd{color:#ab27ff}pre .ni{color:#686868}pre .ne{color:#d2453e}pre .nf{color:#9393ff}pre .nl{color:#a0a000}pre .nn{color:#9393ff}pre .nv{color:#cfcef6}pre .ow{color:#ab27ff}pre .w{color:#545454}pre .o,pre .m,pre .mb,pre .mf,pre .mh,pre .mi,pre .mo,pre .il{color:#999}pre .s,pre .sa,pre .sb,pre .sc,pre .dl,pre .sd,pre .s2,pre .sh,pre .s1{color:#df4d4d}pre .se{color:#b66321}pre .si{color:#b65b7f}pre .sx{color:#008500}pre .sr{color:#b65b7f}pre .ss{color:#cfcef6}pre .fm{color:#9393ff}pre .vc,pre .vg,pre .vi,pre .vm{color:#cfcef6}pre .rustc_error{color:#e21e12}pre .rustc_warning{color:#08680e}pre .rustc_value{color:#765c09}pre .rustc_lineno{color:#5d67ff}}@media print{pre .go{color:#555}}.language-console .gp,.language-console .gp+.w,.language-irb .gp,.language-irb .gp+.w{-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.language-caddy,.language-go{tab-size:4}.tags a:hover{color:var(--primary-color)}article.til{p.summary{font-weight:bold}}a.download{display:inline-block;text-decoration:none;padding:15px 15px 25px .5em}a.download img{height:64px;display:inline-block;margin:-8px 0 -25px 0;padding-bottom:0;padding-right:5px}/*# sourceMappingURL=style.css.map */