: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: #f45858;--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: #555;--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}@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}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}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}}img,video,figure{max-width:100%;display:block}iframe{display:block}blockquote{padding:1px var(--default-padding);p:first-child{margin-top:calc(2*var(--default-padding)/3)}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);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;a{text-decoration:none}&.linkpost_title{font-size:1.17em;line-height:1.35em;padding-top:12px;a{text-decoration:underline}&::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;-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.annotated_highlight .ln.empty::before{content:""}.annotated_highlight figcaption{text-align:center}.annotated_highlight pre:has(+figcaption){margin-bottom:4px}ul.dot_list{list-style-type:none;padding:0;li{display:inline}li:not(:last-child)::after{content:" · "}}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}pre{--red: var(--default-primary-color-light);--green: #1bad0e;--blue: #115bda;--magenta: #c311d0;--yellow: #c8a711;--comments: var(--red);--literals: var(--magenta);--strings: var(--green);--names: var(--blue);--punctuation: var(--accent-grey);--mark: rgb(255, 235, 18, 0.7);.c,.ch,.cm,.c1,.cs{color:var(--comments)}.m,.mb,.mf,.mh,.mi,.mo,.il,.kc,.bp,.no{color:var(--literals)}.s,.sa,.sb,.sc,.dl,.sd,.se,.s2,.sh,.si,.sx,.sr,.s1,.ss{color:var(--strings)}.n{color:var(--names)}.p,.go{color:var(--punctuation)}.rustc_error{color:var(--red);font-weight:bold}.rustc_warning{color:var(--green)}.rustc_value{color:var(--yellow)}.rustc_lineno{color:var(--blue)}mark{background-color:var(--mark);padding:2px 0;margin:-2px 0;border-radius:2px}}@media(prefers-color-scheme: dark){pre{--red: var(--default-primary-color-dark);--green: #5ff042;--blue: #40c3ff;--magenta: #ff42fc;--yellow: #fffc42;--mark: rgb(255, 252, 66, 0.8)}}.language-console .gp,.language-console .gp+.w,.language-irb .gp,.language-irb .gp+.w{color:var(--blue);-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.language-xml .cp{color:var(--punctuation)}.language-caddy,.language-go{tab-size:4}.language-html{.nt,.na{color:var(--names)}}.language-css{.n{color:var(--body-text)}.no{color:var(--literals)}.nc,.nt,.nl,.py{color:var(--names)}}.tags a:hover{color:var(--primary-color)}article.til{p.summary{font-weight:bold}}/*# sourceMappingURL=style.css.map */