*,:before,:after{box-sizing:border-box}:where(:root){text-spacing-trim:trim-start;text-autospace:normal;line-break:strict;overflow-wrap:anywhere;-moz-text-size-adjust:100%;text-size-adjust:100%;scrollbar-gutter:stable;-webkit-tap-highlight-color:transparent;font-family:sans-serif;line-height:1.5}:where(body){min-block-size:100dvb;margin:unset}:where(:is(h1,h2,h3,h4,h5,h6):lang(en)){text-wrap:pretty}:where(h2,h3,h4,h5,h6){margin-block:unset}:where(search){display:block}:where(p,blockquote,figure,pre,address,ul,ol,dl,menu){margin-block:unset}:where(blockquote,figure){margin-inline:unset}:where(p:lang(en)){text-wrap:pretty}:where(address:lang(ja)){font-style:unset}:where(ul,ol,menu){padding-inline-start:unset;list-style-type:""}:where(dt){font-weight:bolder}:where(dd){margin-inline-start:unset}:where(pre){text-spacing-trim:space-all;text-autospace:no-autospace}@media print{:where(pre){text-wrap-mode:unset}}:where(em:lang(ja)){font-weight:bolder}:where(:is(i,cite,em,dfn):lang(ja)){font-style:unset}:where(u,s,del,ins){text-decoration-inset:auto}:where(code,kbd,samp){font-feature-settings:initial;font-variation-settings:initial;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:unset;font-variant-ligatures:none}:where(abbr[title]){text-decoration-inset:auto;cursor:help;text-decoration-line:underline;text-decoration-style:dotted}:where(time){text-autospace:no-autospace}@media (forced-colors:active){:where(mark){color:highlighttext;background-color:highlight}}@media print{:where(mark){border-style:dotted;border-width:1px}}:where(a){color:unset}:where(a:any-link){-webkit-text-decoration-line:unset;text-decoration-line:unset;text-decoration-inset:auto;text-decoration-thickness:from-font}:where(img,svg,picture,video,audio,canvas,model,iframe,embed,object){vertical-align:bottom;max-inline-size:100%}:where(img,svg,picture,video,canvas,model,iframe,embed,object){block-size:auto}:where(iframe){border:unset}:where(table){border-collapse:collapse}:where(caption,th){text-align:unset}:where(caption:lang(en)){text-wrap:pretty}:where(button,input,select,textarea){border-style:solid;border-width:1px;border-color:unset;border-radius:unset;color:unset;font:unset;letter-spacing:unset;text-align:unset}::file-selector-button{border-style:solid;border-width:1px;border-color:unset;border-radius:unset;color:unset;font:unset;letter-spacing:unset;text-align:unset}:where(input:is([type=radio i],[type=checkbox i])){margin:unset}:where(input[type=file i]){border:unset}:where(input[type=search i]){-webkit-appearance:textfield}@supports (-webkit-touch-callout:none){:where(input[type=search i]){background-color:canvas}}:where(input:is([type=tel i],[type=url i],[type=email i],[type=number i]):not(:placeholder-shown)){direction:ltr}:where(textarea){margin-block:unset;resize:block}:where(input:not([type=button i],[type=submit i],[type=reset i]),textarea,[contenteditable]){text-autospace:no-autospace}:where(button,input:is([type=button i],[type=submit i],[type=reset i])){background-color:unset}::file-selector-button{background-color:unset}:where(button,input:is([type=button i],[type=submit i],[type=reset i]),[role=tab i],[role=button i],[role=option i]){touch-action:manipulation}::file-selector-button{touch-action:manipulation}:where(button:enabled,label[for],select:enabled,input:is([type=button i],[type=submit i],[type=reset i],[type=radio i],[type=checkbox i]):enabled,[role=tab i],[role=button i],[role=option i]){cursor:pointer}:where(:enabled)::file-selector-button{cursor:pointer}:where(fieldset){min-inline-size:0;margin-inline:unset;padding:unset;border:unset}:where(legend){padding-inline:unset}:where(progress){vertical-align:unset}::placeholder{opacity:unset}:where(summary){cursor:pointer;list-style-type:""}:where(summary)::-webkit-details-marker{display:none}:where(dialog,[popover]){overscroll-behavior-block:contain;padding:unset;border:unset}:where(dialog:not([open],[popover]),[popover]:not(:popover-open)){display:none!important}:where(dialog){max-inline-size:unset;max-block-size:unset}:where(dialog)::backdrop{background-color:#0000004d;background-color:lab(0% 0 0/.3)}:where([popover]){margin:unset}:where(:focus-visible){outline-offset:3px}[tabindex="-1"]:focus{outline:none!important}:where(:disabled,[aria-disabled=true i]){cursor:default}[hidden]:not([hidden=until-found i]){display:none!important}
@font-face{font-family:Temml;src:url(/Temml.woff2)format("woff2");font-weight:400;font-style:normal}@font-face{font-family:Latin Modern Math;src:url(/fonts/latinmodernmath.woff2)}math{font-size-adjust:none;text-indent:0;text-transform:none;letter-spacing:normal;word-wrap:normal;font-feature-settings:"dtls" off;direction:ltr;font-style:normal;font-weight:400;line-height:normal}math *{border-color:currentColor}math{font-family:Latin Modern Math,math}math.tml-display{width:100%;display:block}.mathscr{font-family:Temml}mfrac>:nth-child(2),msqrt,mover>:first-child{math-shift:compact}.menclose{padding:.5ex 0;display:inline-block;position:relative}.tml-cancelto{background-color:currentColor;padding:.5ex 0;display:inline-block;position:absolute;top:0;left:0;-webkit-mask-image:url("data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg'><defs><marker id='a' markerHeight='5' markerUnits='strokeWidth' markerWidth='7' orient='auto' refX='7' refY='2.5'><path fill='black' d='m0 0 7 2.5L0 5z'/></marker></defs><line x2='100%25' y1='100%25' stroke='black' stroke-width='.06em' marker-end='url(%23a)' vector-effect='non-scaling-stroke'/></svg>");mask-image:url("data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg'><defs><marker id='a' markerHeight='5' markerUnits='strokeWidth' markerWidth='7' orient='auto' refX='7' refY='2.5'><path fill='black' d='m0 0 7 2.5L0 5z'/></marker></defs><line x2='100%25' y1='100%25' stroke='black' stroke-width='.06em' marker-end='url(%23a)' vector-effect='non-scaling-stroke'/></svg>");-webkit-mask-position:0 0;mask-position:0 0;-webkit-mask-size:100% 100%;mask-size:100% 100%;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat}@supports ((-moz-appearance:none)){.tml-vec{transform:scale(.75)}.ff-narrow{width:0}.ff-nudge-left{margin-left:-.2em}.ff-squash mtd{height:0;display:block}}@supports not ((-moz-appearance:none)){mo.tml-prime{font-family:Temml}.tml-sml-pad{padding-left:.05em}.tml-med-pad{padding-left:.1em}.tml-lrg-pad{padding-left:.15em}}@supports ((-webkit-backdrop-filter:blur(1px))){.wbk-acc{transform:translateY(.431em)}.wbk-sml{transform:translate(.07em)}.wbk-sml-acc{transform:translate(.07em,.431em)}.wbk-sml-vec{transform:scale(.75)translate(.07em)}.wbk-med{transform:translate(.14em)}.wbk-med-acc{transform:translate(.14em,.431em)}.wbk-med-vec{transform:scale(.75)translate(.14em)}.wbk-lrg{transform:translate(.21em)}.wbk-lrg-acc{transform:translate(.21em,.431em)}.wbk-lrg-vec{transform:scale(.75)translate(.21em)}}menclose{-webkit-print-color-adjust:exact;print-color-adjust:exact}.tml-right{text-align:right}.tml-left{text-align:left}.tml-shift-left{margin-left:-200%}@supports (not ((-webkit-backdrop-filter:blur(1px)))) and (not ((-moz-appearance:none))){.chr-sml{transform:translate(.07em)}.chr-sml-vec{transform:scale(.75)translate(.07em)}.chr-med{transform:translate(.14em)}.chr-med-vec{transform:scale(.75)translate(.14em)}.chr-lrg{transform:translate(.21em)}.chr-lrg-vec{transform:scale(.75)translate(.21em)}.tml-shift-left{margin-left:-100%}menclose{padding:.5ex 0;position:relative}.tml-overline{border-top:.065em solid;padding:.1em 0 0}.tml-underline{border-bottom:.065em solid;padding:0 0 .1em}.tml-cancel{background-color:currentColor;width:100%;height:100%;display:inline-block;position:absolute;bottom:0;left:.5px}.upstrike{clip-path:polygon(.05em 100%,0 calc(100% - .05em),calc(100% - .05em) 0,100% .05em)}.downstrike{clip-path:polygon(0 .05em,.05em 0,100% calc(100% - .05em),calc(100% - .05em) 100%)}.sout{clip-path:polygon(0 calc(55% + .0333em),0 calc(55% - .0333em),100% calc(55% - .0333em),100% calc(55% + .0333em))}.tml-xcancel{clip-path:polygon(.05em 0,0 .05em,calc(50% - .05em) 50%,0 calc(100% - .05em),.05em 100%,50% calc(50% + .05em),calc(100% - .05em) 100%,100% calc(100% - .05em),calc(50% + .05em) 50%,100% .05em,calc(100% - .05em) 0%,50% calc(50% - .05em))}.longdiv-top{border-top:.067em solid;padding:.1em .2em .2em .433em}.longdiv-arc{clip-path:inset(0 0 0 .4em);box-sizing:border-box;border:.067em solid;border-radius:70%;width:.7em;position:absolute;top:0;bottom:.1em;left:-.4em;transform:translateY(-.067em)}.menclose{text-align:left;display:inline-block;position:relative}.phasor-bottom{border-bottom:.067em solid;padding:.2em .2em .1em .6em}.phasor-angle{aspect-ratio:.5;clip-path:polygon(.05em 100%,0 calc(100% - .05em),calc(100% - .05em) 0,100% .05em);background-color:currentColor;height:100%;display:inline-block;position:absolute;bottom:-.04em;left:.5px}.tml-fbox{border:1px solid;padding:3pt}.circle-pad{padding:.267em}.textcircle{border:.067em solid;border-radius:50%;position:absolute;inset:0}.actuarial{border-style:solid;border-width:.08em .08em 0 0;margin-right:.03889em;padding:.03889em .03889em 0}.tml-crooked-2{transform:scale(2,1.1)}.tml-crooked-3{transform:scale(3,1.3)}.tml-crooked-4{transform:scale(4,1.4)}.tml-right{text-align:-webkit-right}.tml-left{text-align:-webkit-left}}.special-fraction{font-family:Times New Roman,Times,STIX TWO,Tinos,serif}math{flex-wrap:wrap;align-items:baseline;display:inline-flex}math>mrow{padding:.5ex 0}mtable.tml-jot mtd{padding-top:.7ex;padding-bottom:.7ex}mtable.tml-small mtd{padding-top:.35ex;padding-bottom:.35ex}@-moz-document url-prefix(){math{display:inline}math>mrow{padding:0}mtd,mtable.tml-small mtd{padding-top:0;padding-bottom:0}mtable.tml-jot mtd{padding-top:.2ex;padding-bottom:0.ex}}.tml-eqn:before{counter-increment:tmlEqnNo;content:"(" counter(tmlEqnNo) ")"}body{counter-reset:tmlEqnNo}
.code-highlight{float:left;min-width:100%}.code-line{border-left:4px solid #0000;margin-left:-16px;margin-right:-16px;padding-left:16px;padding-right:16px;display:block}.code-line.inserted{background-color:#10b98133}.code-line.deleted{background-color:#ef444433}.highlight-line{background-color:var(--lightningcss-light,#3b82f60d)var(--lightningcss-dark,#374151);border-left:4px solid #3b82f6;margin-left:-16px;margin-right:-16px}.line-number:before{text-align:right;color:#9ca3af;content:attr(line);width:1rem;margin-left:-8px;margin-right:16px;display:inline-block}
code[class*=language-],pre[class*=language-]{tab-size:2;-webkit-hyphens:none;hyphens:none;white-space:pre;white-space:pre-wrap;word-wrap:normal;color:#76d9e6;text-shadow:none}pre[class*=language-] code{white-space:pre;display:block}.token.namespace{opacity:.7}.token.comment,.token.prolog,.token.doctype,.token.cdata{color:#6f705e}.token.operator,.token.boolean,.token.number{color:#a77afe}.token.attr-name,.token.string,.token.entity,.token.url,.language-css .token.string,.style .token.string{color:#e6d06c}.token.selector,.token.inserted{color:#a6e22d}.token.atrule,.token.attr-value,.token.keyword,.token.important,.token.deleted{color:#ef3b7d}.token.regex,.token.statement{color:#76d9e6}.token.placeholder,.token.variable{color:#fff}.token.important,.token.statement,.token.bold{font-weight:700}.token.punctuation{color:#bebec5}.token.entity{cursor:help}.token.italic{font-style:italic}code.language-markup{color:#f9f9f9}code.language-markup .token.tag{color:#ef3b7d}code.language-markup .token.attr-name{color:#a6e22d}code.language-markup .token.attr-value{color:#e6d06c}code.language-markup .token.style,code.language-markup .token.script,code.language-markup .token.script .token.keyword{color:#76d9e6}.line-highlight.line-highlight{background:#ffffff14;padding:0}.line-highlight.line-highlight:before,.line-highlight.line-highlight[data-end]:after{color:#000;background-color:#fff6;height:1em;padding:.2em .5em;line-height:1em;box-shadow:0 1px 1px #ffffffb3}

:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark;--color-background:var(--color-fill);--color-text:var(--color-figure-gray);--color-text-secondary:var(--color-figure-gray-secondary);--color-code-background:var(--color-fill-gray-quaternary);--color-grid:var(--color-fill-gray-tertiary);--color-link:var(--color-tint);--color-highlight:rgb(from var(--color-tint) r g b / .2);--color-tint:var(--lightningcss-light,#c65300)var(--lightningcss-dark,#ff9f43);--color-fill:var(--lightningcss-light,#fff)var(--lightningcss-dark,#000);--color-fill-secondary:var(--lightningcss-light,#fbfbfd)var(--lightningcss-dark,#161617);--color-fill-tertiary:var(--lightningcss-light,#f5f5f7)var(--lightningcss-dark,#1d1d1f);--color-figure-gray:var(--lightningcss-light,#1d1d1f)var(--lightningcss-dark,#f5f5f7);--color-figure-gray-secondary:var(--lightningcss-light,#515154)var(--lightningcss-dark,#a1a1a6);--color-fill-gray-tertiary:var(--lightningcss-light,#d2d2d7)var(--lightningcss-dark,#424245);--color-fill-gray-quaternary:var(--lightningcss-light,#f5f5f7)var(--lightningcss-dark,#333336);--typography-sans-serif:SF Pro Text, system-ui, -apple-system, BlinkMacSystemFont, Helvetica Neue, Helvetica, Arial, sans-serif;--typography-mono:SF Mono, SFMono-Regular, ui-monospace, Menlo, monospace}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial}}html{height:100dvh}@media (prefers-color-scheme:dark){html{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}body{min-height:100%;font-family:var(--typography-sans-serif);color:var(--color-text);background-color:var(--color-background);width:min(40rem,87.5%);margin-inline:auto;padding-block-start:4rem}header{margin-block-end:2rem}nav{flex-direction:row;align-items:center;gap:.5rem;display:flex}nav img{margin-inline-end:1rem}h1,h2,h3,h4,h5,h6{letter-spacing:-.025em}.logo{font-size:1.25rem;font-family:var(--typography-mono)}.homedir{color:#87ceeb}.post-entries{flex-direction:column;gap:1rem;display:flex}.post-entries li{flex-wrap:wrap;gap:0 2rem;display:flex}.post-entries time{color:var(--color-text-secondary);font-family:var(--typography-mono)}.post-entries li>:not(time){flex:20rem}.prose>.post-entries-home{gap:unset;margin-block:unset;padding-inline-start:unset}.prose>.post-entries-home li{margin-block:.25rem}a{color:var(--color-link)}.prose :is(h1,h2,h3,h4,h5,h6):not(:first-child){margin-block:1.5em 1rem}.prose :is(h1,h2,h3,h4,h5,h6)+:is(h1,h2,h3,h4,h5,h6){margin-block-start:1rem}.prose header>h1{margin-block-end:.5rem}.prose header>time{color:var(--color-text-secondary);font-family:var(--typography-mono)}.prose p,.prose blockquote,.prose figure,.prose pre,.prose address,.prose ul,.prose ol,.prose dl,.prose menu{margin-block:1rem}.prose p{line-height:1.625}.prose ul{list-style-type:disc}.prose ol{list-style-type:decimal}.prose li{margin-block:.5rem}.prose ul,.prose ol{padding-inline-start:1.25rem}.prose li>:is(ul,ol){margin-block:unset}.prose mark{background:linear-gradient(transparent 60%, var(--color-highlight) 60%)}.prose pre{background-color:var(--color-code-background);border-radius:8px;padding:16px;overflow-x:auto}.prose code{font-family:var(--typography-mono)}.prose pre>code{font-size:.9375rem;line-height:1.67}.prose p>code{border:1px solid var(--color-grid);background-color:var(--color-code-background);border-radius:4px;padding-inline:4px}.prose math{font-size:1.125rem}.prose hr{border:0;border-top:1px solid var(--color-grid);margin:2rem 0}.prose [data-footnote-ref]:after{content:")"}.prose table{overflow-wrap:break-word;max-width:fit-content;margin-inline:auto;display:block;overflow-x:auto}.prose th{text-align:center;font-weight:600}.prose th,.prose td{border-bottom:1px solid var(--color-grid);padding-block:.5rem;padding-inline:2rem}.prose tr:last-child td{border-bottom-style:none}.prose .footnotes{margin-block-start:3rem}.prose .footnotes h2{display:none}.prose .footnotes ol{padding-inline-start:2rem;font-size:.875rem}footer{flex-direction:column;padding-block:2rem 4rem;display:flex;position:sticky;top:100%}footer hr{border:0;border-top:1px dashed var(--color-grid);margin:2rem 0}footer .footer-wave{margin-inline:auto}