*,::after,::before{box-sizing:border-box}html{-webkit-tap-highlight-color:transparent;touch-action:manipulation;overflow-y:scroll;-webkit-text-size-adjust:100%;text-size-adjust:100%}html{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility;font-synthesis:none}a,button,body,h1,h2,h3,h4,h5,h6{color:var(--primary)}body{margin:0;font-family:lifestack sans,Pretendard,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,apple sd gothic neo,noto sans kr,sans-serif;font-size:16px;line-height:var(--leading-ui);font-weight:400;font-feature-settings:"kern","liga","calt";font-variant-ligatures:common-ligatures contextual;letter-spacing:var(--tracking-body);word-break:keep-all;overflow-wrap:break-word;background:var(--theme)}code,pre,kbd,samp,tt{font-family:ui-monospace,sf mono,Menlo,Monaco,cascadia mono,Consolas,liberation mono,courier new,monospace}article,aside,figcaption,figure,footer,header,hgroup,main,nav,section,table{display:block}h1,h2,h3,h4,h5,h6{line-height:var(--leading-heading);font-weight:500;letter-spacing:var(--tracking-heading);margin:0}p{margin:0}ul{padding:0;margin:0}a{text-decoration:none}figure{margin:0}table{width:100%;border-collapse:collapse;border-spacing:0;overflow-x:auto;word-break:keep-all}button,input,textarea{padding:0;font:inherit;background:0 0;border:0}input,textarea{outline:0}button,input[type=button],input[type=submit]{cursor:pointer}input:-webkit-autofill,textarea:-webkit-autofill{box-shadow:0 0 0 50px var(--theme)inset}img{display:block;max-width:100%}b,strong{font-weight:600}:root,html,body{transition:background-color .2s ease,color .2s ease}body.list{background:var(--theme)}:root{--gap:24px;--content-gap:20px;--main-width:740px;--nav-width:740px;--header-height-full:48px;--header-height:48px;--footer-height:60px;--radius:4px;--anchor-offset:calc(var(--header-height) + 12px + var(--gap));--tracking-display:-0.025em;--tracking-heading:-0.02em;--tracking-body:-0.01em;--tracking-small:0;--leading-display:1.35;--leading-heading:1.4;--leading-prose:1.75;--leading-ui:1.6;color-scheme:light}html[data-theme]{--theme:rgb(255, 255, 255);--entry:rgb(255, 255, 255);--primary:rgb(30, 30, 30);--secondary:rgb(108, 108, 108);--tertiary:rgb(214, 214, 214);--content:rgb(31, 31, 31);--code-block-bg:rgb(28, 29, 33);--code-bg:rgb(245, 245, 245);--border:rgb(232, 232, 232);--tag-bg:rgb(245, 245, 245);--tag-fg:rgb(34, 34, 34);--tag-hover-bg:rgb(228, 228, 228);--accent:#1f6fd1;--accent-contrast:#ffffff;--hover-bg:rgb(247, 248, 250);--link-hover-bg:rgba(31, 111, 209, 0.06);--float-shadow:0 6px 24px rgba(0, 0, 0, 0.12), 0 0 0 1px rgba(0, 0, 0, 0.04);--glass-bg:color-mix(in srgb, var(--theme) 68%, transparent);--glass-filter:saturate(180%) blur(20px);--glass-shadow:inset 0 0.5px 0 rgba(255, 255, 255, 0.7), 0 0 0 0.5px rgba(0, 0, 0, 0.08),
        0 8px 28px rgba(0, 0, 0, 0.12);--danger:#c62828;--danger-bg:rgba(198, 40, 40, 0.10);--danger-contrast:#ffffff}html[data-theme=dark]{--theme:rgb(29, 30, 32);--entry:rgb(29, 30, 32);--primary:rgb(218, 218, 219);--secondary:rgb(155, 156, 157);--tertiary:rgb(65, 66, 68);--content:rgb(196, 196, 197);--code-block-bg:rgb(46, 46, 51);--code-bg:rgb(55, 56, 62);--border:rgb(46, 46, 51);--tag-bg:rgb(45, 47, 52);--tag-fg:rgb(218, 218, 219);--tag-hover-bg:rgb(62, 64, 70);--accent:#8eb4e3;--accent-contrast:rgb(20, 22, 26);--hover-bg:rgb(40, 41, 45);--link-hover-bg:rgba(142, 180, 227, 0.18);--float-shadow:0 6px 24px rgba(0, 0, 0, 0.5), 0 0 0 1px rgba(255, 255, 255, 0.07);--glass-bg:color-mix(in srgb, var(--theme) 62%, transparent);--glass-shadow:inset 0 0.5px 0 rgba(255, 255, 255, 0.12), 0 0 0 0.5px rgba(255, 255, 255, 0.08),
        0 8px 28px rgba(0, 0, 0, 0.5);--danger:#f28b82;--danger-bg:rgba(242, 139, 130, 0.16);--danger-contrast:rgb(20, 22, 26);color-scheme:dark}.skip-link{position:absolute;top:-48px;left:8px;z-index:100;padding:8px 14px;background:var(--accent);color:var(--accent-contrast);border-radius:var(--radius);text-decoration:none;font-weight:500;font-size:.95rem;transition:top .15s ease}.skip-link:focus,.skip-link:focus-visible{top:8px;outline:2px solid var(--accent-contrast);outline-offset:2px}main:focus{outline:none}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.md-content .annotated-figure svg [data-part],.md-content .annotated-figure svg .af-context{transition:opacity .15s ease}.md-content .annotated-figure.has-active svg [data-part]:not(.is-hl),.md-content .annotated-figure.has-active svg .af-context{opacity:.3}.md-content .annotated-figure svg .is-hl :is(rect,path,circle){stroke:var(--accent);stroke-width:2.5}.md-content .annotated-figure svg .is-hl :is(rect,circle){fill:color-mix(in srgb,var(--accent) 14%,var(--theme))}.md-content .af-callout-line{fill:none;stroke:var(--secondary);stroke-width:1;stroke-dasharray:3 3}.md-content .af-callout-text{fill:var(--secondary);font-size:13px;dominant-baseline:central}.md-content .af-callout-left .af-callout-text{text-anchor:end}.md-content .af-callout-bracket .af-callout-line{stroke-dasharray:none}.md-content .af-callout-bracket .af-callout-text{text-anchor:middle}.md-content .annotated-figure svg .is-hl .af-callout-line{stroke-width:1.5}.md-content .annotated-figure svg .is-hl .af-callout-text{fill:var(--accent);font-weight:600}.md-content svg.is-compact .af-callout,.md-content svg:not(.is-compact) .af-marker{display:none}.md-content svg.is-compact .af-marker{display:inline}.md-content .af-marker circle{fill:var(--primary);stroke:none}.md-content .af-marker text{fill:var(--theme);font-size:13px;font-weight:600;text-anchor:middle;dominant-baseline:central}.md-content .annotated-figure svg .is-hl.af-marker circle{fill:var(--accent);stroke:none}.md-content .annotated-figure svg .is-hl.af-marker text{fill:var(--accent-contrast)}.md-content .annotated-figure-hint{margin:0 0 .5rem;color:var(--secondary);font-size:.85rem;text-align:center}.md-content .annotated-figure-text>:is(ul,ol){margin:0 0 var(--content-gap);padding:0;list-style:none}.md-content .annotated-figure-text>:is(ul,ol)>li{margin:0;padding:.45rem .7rem;border-radius:8px;font-size:.95rem;line-height:var(--leading-ui);cursor:pointer;transition:background .15s ease}.md-content .annotated-figure-text>:is(ul,ol)>li:hover,.md-content .annotated-figure-text>:is(ul,ol)>li.is-active{background:color-mix(in srgb,var(--accent) 10%,transparent)}.md-content .annotated-figure-text>:is(ul,ol)>li:focus-visible{outline:2px solid var(--accent);outline-offset:1px}@media(min-width:641px){.md-content .annotated-figure-text>:is(ul,ol){display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.25rem .75rem}}@media(max-width:640px){.md-content .annotated-figure-text>:is(ul,ol){counter-reset:af-part}.md-content .annotated-figure-text>:is(ul,ol)>li{position:relative;padding-left:2.6rem}.md-content .annotated-figure-text>:is(ul,ol)>li::before{counter-increment:af-part;content:counter(af-part);position:absolute;left:.7rem;top:.65rem;display:flex;align-items:center;justify-content:center;width:1.35rem;height:1.35rem;border-radius:999px;background:var(--primary);color:var(--theme);font-size:.75rem;font-weight:600;line-height:1}.md-content .annotated-figure-text>:is(ul,ol)>li.is-active::before{background:var(--accent);color:var(--accent-contrast)}}.archive-posts{width:100%;font-size:16px;flex:1}.archive-year{margin-top:1.5rem}.archive-year:first-of-type{margin-top:.5rem}.archive-year:not(:last-of-type){border-bottom:1px solid var(--border);padding-bottom:.5rem}.archive-year-header{font-size:1.4rem;margin:0}.archive-month{display:flex;align-items:flex-start;padding:.35rem 0}.archive-month-header{margin:0 .35rem .25rem 0;width:80px;font-size:.95rem;font-weight:500;flex-shrink:0}.archive-entry{position:relative;padding:0;margin:0 0 .5rem}.archive-entry:last-child{margin-bottom:0}.archive-entry-title{font-size:1rem;line-height:1.4;font-weight:400}.archive-entry-title a{display:inline-block;margin-bottom:.2rem}.archive-meta,.archive-entry .entry-meta-top{font-size:.75rem;margin:.1rem 0 0}.archive-count{color:var(--secondary);font-size:.85rem}.md-content .ft-line{fill:none;stroke:var(--tertiary);stroke-width:2;transition:stroke .15s ease}.md-content .ft-node{fill:var(--theme);stroke:var(--primary);stroke-width:1.5;transition:fill .15s ease,stroke .15s ease}.md-content .ft-gate{fill:var(--code-bg);stroke:var(--primary);stroke-width:1.5;transition:fill .15s ease,stroke .15s ease}.md-content .ft-text,.md-content .ft-gate-label,.md-content .ft-event text{text-anchor:middle;dominant-baseline:central;pointer-events:none}.md-content .ft-text{fill:var(--primary);font-size:14px}.md-content .ft-gate-label{fill:var(--secondary);font-size:9px;font-weight:600;letter-spacing:.04em}.md-content .ft-event circle{fill:var(--theme);stroke:var(--primary);stroke-width:1.5;transition:fill .15s ease,stroke .15s ease}.md-content .ft-event text{fill:var(--secondary);font-size:13px}.md-content .annotated-figure svg .is-hl .ft-gate{fill:var(--accent)}.md-content .annotated-figure svg .is-hl .ft-gate-label{fill:var(--accent-contrast)}.md-content .fault-tree-demo .ft-event{cursor:pointer}.md-content .fault-tree-demo .ft-event:hover circle{stroke:var(--danger)}.md-content .ft-line.is-failed{stroke:var(--danger)}.md-content .ft-node.is-failed{fill:var(--danger-bg);stroke:var(--danger);stroke-width:2}.md-content .ft-gate.is-failed,.md-content .ft-event.is-failed circle{fill:var(--danger);stroke:var(--danger)}.md-content .ft-gate.is-failed+.ft-gate-label{fill:var(--danger-contrast)}.md-content .ft-event.is-failed text{fill:var(--danger);font-weight:600}.md-content .fault-tree-demo-controls{display:flex;flex-wrap:wrap;justify-content:center;gap:.5rem;margin-top:.75rem}.md-content .fault-tree-demo-toggle,.md-content .fault-tree-demo-reset{min-height:2rem;padding:0 .9rem;border-radius:999px;background:color-mix(in srgb,var(--primary) 7%,transparent);color:var(--tag-fg);font-size:.9rem;transition:background .15s ease,color .15s ease}.md-content .fault-tree-demo-toggle:hover{background:color-mix(in srgb,var(--primary) 13%,transparent)}.md-content .fault-tree-demo-toggle[aria-pressed=true]{background:var(--danger);color:var(--danger-contrast)}.md-content .fault-tree-demo-reset{background:0 0;color:var(--secondary);text-decoration:underline;text-underline-offset:.25em}.md-content .fault-tree-demo-toggle:focus-visible,.md-content .fault-tree-demo-reset:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.md-content .fault-tree-demo-status{margin:.75rem 0 0;text-align:center;font-size:.9rem;color:var(--secondary);line-height:var(--leading-ui);white-space:pre-line}.md-content{--ev-pdu:#d97706;--ev-tor:#7c3aed;--ev-inlet:#0d9488}html[data-theme=dark] .md-content{--ev-pdu:#fbbf24;--ev-tor:#a78bfa;--ev-inlet:#2dd4bf}.md-content .ev{display:inline-block;padding:0 .55em 0 .45em;border-radius:999px;background:color-mix(in srgb,var(--ev-color,var(--primary)) 12%,var(--theme));font-size:.94em;line-height:1.7;white-space:nowrap}.md-content .ev-basic{background:color-mix(in srgb,var(--primary) 7%,var(--theme))}.md-content .ev-dot{display:inline-block;width:.72em;height:.72em;margin-right:.35em;border:1.5px solid var(--ev-color,var(--primary));border-radius:50%;background:color-mix(in srgb,var(--ev-color,var(--primary)) 30%,var(--theme));vertical-align:-.04em}.md-content .ev-basic .ev-dot{background:var(--theme)}.md-content .ev-pdu{--ev-color:var(--ev-pdu)}.md-content .ev-tor{--ev-color:var(--ev-tor)}.md-content .ev-inlet{--ev-color:var(--ev-inlet)}.site-footer{display:block;max-width:calc(var(--main-width) + var(--gap) * 2);margin:3rem auto 0;padding:1.75rem var(--gap)1.25rem;font-size:.78rem;line-height:var(--leading-ui);letter-spacing:var(--tracking-small);color:var(--secondary);text-align:left}.site-footer .site-footer-row{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:1rem 2rem}.site-footer .footer-info{min-width:0;flex:auto;color:var(--secondary)}.site-footer .footer-title{margin:0 0 .2rem;font-size:.9rem;font-weight:500;color:var(--secondary);letter-spacing:var(--tracking-small)}.site-footer .footer-description{margin:0 0 .3rem;color:var(--secondary);font-size:.78rem}.site-footer .footer-contact{margin:0;font-size:.75rem}.site-footer .footer-contact a{color:var(--secondary);text-decoration:none;transition:color .15s ease}.site-footer .footer-contact a:hover{color:var(--primary);text-decoration:underline}.site-footer .footer-contact .sep{margin:0 .3rem;color:var(--secondary);opacity:.4}.site-footer .social-icons{display:inline-flex;align-items:center;gap:.15rem;flex-shrink:0}.site-footer .social-icons a{display:inline-flex;padding:4px;color:var(--secondary);border-radius:4px;transition:color .15s ease,background .15s ease}.site-footer .social-icons a:hover{color:var(--primary);background:var(--border)}.site-footer .social-icons svg{width:16px;height:16px}.site-footer .footer-copyright{text-align:center;margin-top:1.25rem;padding-top:.75rem;font-size:.75rem;color:var(--secondary)}@media(max-width:600px){.site-footer .site-footer-row{flex-direction:column;align-items:flex-start}.site-footer .social-icons{margin-top:.5rem}}.top-link{position:fixed;bottom:calc(1rem + env(safe-area-inset-bottom));right:max(var(--gap),calc(50% - var(--main-width)/2 - 80px));z-index:99;display:flex;align-items:center;justify-content:center;width:2.5rem;height:2.5rem;border-radius:999px;background:var(--glass-bg);-webkit-backdrop-filter:var(--glass-filter);backdrop-filter:var(--glass-filter);box-shadow:var(--glass-shadow);color:var(--secondary);transition:visibility .3s,opacity .3s cubic-bezier(.4,0,1,1),color .15s ease}.top-link svg{width:1.125rem;height:1.125rem}@supports not (background:color-mix(in srgb,white,transparent)){.top-link{background:var(--theme)}}@supports not ((backdrop-filter:blur(1px)) or (-webkit-backdrop-filter:blur(1px))){.top-link{background:var(--theme)}}.hidden{visibility:hidden;opacity:0}.top-link:hover{color:var(--primary)}@media(max-width:1399.98px){.site-footer{padding-bottom:4.5rem}}@property --header-height{syntax: "<length>";
    inherits: true;
    initial-value: 48px;
}.header{position:fixed;top:0;left:0;right:0;z-index:50;background:color-mix(in srgb,var(--theme) 92%,transparent);-webkit-backdrop-filter:saturate(180%)blur(8px);backdrop-filter:saturate(180%)blur(8px)}.header::after{content:"";position:absolute;top:100%;left:0;right:0;height:var(--gap);background:linear-gradient(to bottom,color-mix(in srgb,var(--theme) 92%,transparent),transparent);pointer-events:none}@supports not (background:color-mix(in srgb,white,transparent)){.header{background:var(--theme)}.header::after{background:linear-gradient(to bottom,var(--theme),transparent)}}body{padding-top:calc(var(--header-height-full) + 12px)}.header-nav{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:center;min-height:calc(var(--header-height) + 12px);max-width:calc(var(--main-width) + var(--gap) * 2);margin:auto;line-height:var(--header-height);padding:0 var(--gap);column-gap:var(--gap)}.header-nav a{display:block}.logo,.menu{display:flex}.logo{align-items:center;column-gap:.55rem;flex-wrap:wrap}.logo a{font-size:1.5rem;font-weight:500;line-height:var(--header-height);letter-spacing:var(--tracking-display);transition:color .15s ease}.logo a:hover{color:var(--accent)}.logo a:active{opacity:.7}.menu{list-style:none;word-break:keep-all;overflow-x:auto;white-space:nowrap;column-gap:var(--gap)}.menu a{font-size:1rem;font-weight:400;padding:6px 12px;margin:0;border-radius:0;position:relative;text-decoration:none;transition:background .15s ease}.menu a:hover{background:var(--hover-bg);text-decoration:none}.menu a span{font-weight:400;text-decoration:none}.menu a::after{content:"";position:absolute;left:12px;right:12px;bottom:0;height:2px;background:0 0;pointer-events:none}.menu a:has(.active)::after{background:currentColor}.menu .active{font-weight:400}@property --hp{syntax: "<number>";
    inherits: true;
    initial-value: 0;
}:root{--header-height:calc(var(--header-height-full) - 32px * var(--hp))}.header.is-peek,.header:focus-within{--hp:0;--header-height:var(--header-height-full)}.header.peek-anim{transition:--hp .12s ease,--header-height .12s ease}@supports(background:color-mix(in srgb,white,transparent)){.logo a,#menu a>span{--fade:min(1, calc(var(--hp) / 0.6));--shrink:max(0, calc((var(--hp) - 0.4) / 0.6));--ink:var(--primary);--pill-end:6px;border-radius:999px;color:transparent;text-shadow:0 0 calc(.35em * var(--fade))color-mix(in srgb,var(--ink) calc(100% - 100% * var(--fade)),transparent);filter:blur(calc(10px * var(--shrink) * (1 - var(--shrink))))}.logo a:hover{--ink:var(--accent);color:transparent}.logo a{--pill:calc(1.2em - (1.2em - var(--pill-end)) * var(--shrink));display:block;height:var(--pill);line-height:var(--pill);background:color-mix(in srgb,var(--primary) calc(12% * var(--shrink)),transparent)}#menu a{display:flex;align-items:center;height:calc(var(--header-height) + 12px)}#menu a>span{--pill:calc(1.25em - (1.25em - var(--pill-end)) * var(--shrink));display:block;height:var(--pill);line-height:var(--pill);background:color-mix(in srgb,var(--primary) calc(12% * var(--shrink)),transparent)}#menu a>span.active{background:color-mix(in srgb,var(--accent) calc(30% * var(--shrink)),transparent)}}.menu a::after{opacity:calc(1 - var(--hp))}.md-content .keypoint{margin:1.5rem 0;padding:.9rem 1.15rem;border-inline-start:3px solid var(--accent);border-radius:0 8px 8px 0;background:color-mix(in srgb,var(--accent) 7%,transparent);color:var(--primary);font-size:1.05em;font-weight:500;line-height:var(--leading-ui)}@supports not (background:color-mix(in srgb,white,transparent)){.md-content .keypoint{background:var(--hover-bg)}}.md-content .keypoint p{margin:0}.md-content .keypoint p+p{margin-top:.5rem}.md-content .keypoint strong{color:var(--primary);font-weight:700}.md-content .keypoint .keypoint-label{margin-bottom:.35rem;color:var(--accent);font-size:.78rem;font-weight:600;letter-spacing:var(--tracking-small)}.link-accent,.post-content a:not(.anchor),.md-content a:not(.anchor),nav.toc a{color:var(--accent);text-decoration:none;border-radius:4px;padding:4px 5px;margin:-4px -5px;transition:background .15s ease}.md-content :is(p,li,td) a:not(.anchor){font-weight:inherit}.link-accent:hover,.post-content a:not(.anchor):hover,.md-content a:not(.anchor):hover,nav.toc a:hover{background:var(--link-hover-bg)}.post-content a:has(>img),.md-content a:has(>img){padding:0;margin:0;background:0 0;border-radius:0}.main{position:relative;min-height:calc(100vh - var(--header-height-full) - var(--footer-height));max-width:calc(var(--main-width) + var(--gap) * 2);margin:auto;padding:var(--gap)}.pagination{display:flex}.pagination a{color:var(--theme);font-size:13px;line-height:36px;background:var(--primary);border-radius:calc(36px/2);padding:0 16px}.pagination .next{margin-inline-start:auto}code{direction:ltr}div.highlight,pre{position:relative}.copy-code{position:absolute;top:5px;right:10px;z-index:2;opacity:0;pointer-events:none;color:rgba(255,255,255,.85);background:rgba(78,78,78,.85);border-radius:3px;padding:1px 8px;font-family:ui-monospace,sf mono,Menlo,Monaco,cascadia mono,Consolas,monospace;font-size:.75rem;text-transform:uppercase;letter-spacing:.08em;user-select:none;cursor:pointer;transition:opacity .15s ease}div.highlight:hover .copy-code,pre:hover .copy-code,.copy-code:focus-visible{opacity:1;pointer-events:auto}.not-found{position:absolute;left:0;right:0;text-align:center;margin-top:4rem}.not-found h1{font-size:5rem;margin:0;font-weight:700}.md-content h3,.md-content h4,.md-content h5,.md-content h6{margin:24px 0 16px}.md-content h1{margin:40px auto 32px;font-size:40px}.md-content h2{margin:32px auto 24px;font-size:32px}.md-content h3{font-size:24px}.md-content h4{font-size:16px}.md-content h5{font-size:14px}.md-content h6{font-size:12px}.md-content a:not(.anchor){text-underline-offset:.3rem;text-decoration:underline}.md-content :is(del,s){color:var(--secondary);text-decoration:line-through;text-decoration-thickness:1.5px}.md-content dl:not(:last-child),.md-content ol:not(:last-child),.md-content p:not(:last-child),.md-content figure:not(:last-child),.md-content ul:not(:last-child){margin-bottom:var(--content-gap)}.md-content ol,.md-content ul{padding-inline-start:1.25rem}.md-content li{margin-top:.3rem}.md-content li p{margin-bottom:0}.md-content ul{padding-inline-start:1.4rem}.md-content ul>li{position:relative}.md-content ul>li::before{position:absolute;left:-1rem;top:-.1em;color:var(--secondary);font-weight:700;font-size:1.5em;line-height:1}.md-content ul ul>li::before{font-size:.95em;top:.4rem;font-weight:500}.md-content ul ul ul>li::before{width:6px;height:1px;background:var(--secondary);top:.7em;left:-.95rem}.md-content dl{display:flex;flex-wrap:wrap;margin:0}.md-content dt{width:25%;font-weight:700}.md-content dd{width:75%;margin-inline-start:0;padding-inline-start:10px}.md-content dd~dd,.md-content dt~dt{margin-top:10px}.md-content table{margin:1.25rem 0 var(--content-gap);width:100%;font-size:.95em;border-collapse:collapse}.md-content table th,.md-content table:not(.highlighttable,.highlight table,.gist .highlight) td{padding:.55rem .85rem;line-height:1.5;border:0;border-bottom:1px solid var(--border);text-align:left;vertical-align:top}.md-content table th{background:var(--code-bg);font-weight:600;border-bottom:2px solid var(--tertiary);color:var(--primary)}.md-content table tbody tr:hover td{background:var(--hover-bg)}.md-content table:not(.highlighttable) td code:only-child{margin:auto 0}.md-content .highlight table{border-radius:var(--radius)}.md-content .highlight:not(table){margin-bottom:var(--content-gap);background:var(--code-block-bg)!important;border-radius:var(--radius);direction:ltr;position:relative}.md-content .highlight[data-lang]::before{content:attr(data-lang);position:absolute;top:6px;right:12px;z-index:2;font-family:ui-monospace,sf mono,Menlo,Monaco,cascadia mono,Consolas,monospace;font-size:.75rem;color:rgba(255,255,255,.6);text-transform:uppercase;letter-spacing:.08em;pointer-events:none;user-select:none;transition:opacity .15s ease}.md-content .highlight[data-lang]:hover::before{opacity:0}.md-content li>.highlight{margin-inline-end:0}.md-content ul pre{margin-inline-start:calc(var(--gap) * -2)}.md-content .highlight pre{margin:0}.md-content .highlighttable{table-layout:fixed}.md-content .highlighttable td:first-child{width:40px}.md-content .highlighttable td .linenodiv{padding-inline-end:0!important}.md-content .highlighttable td .highlight,.md-content .highlighttable td .linenodiv pre{margin-bottom:0}.post-content code{padding:.1em .4em;font-size:.92em;line-height:1.5;background:var(--code-bg);border-radius:.25rem;vertical-align:.04em;word-break:keep-all}.md-content pre code{display:grid;margin:auto 0;padding:10px;line-height:1.6;color:#d5d5d6;background:var(--code-block-bg)!important;border-radius:var(--radius);overflow-x:auto;word-break:break-all}.md-content pre.scroll-x::before,.md-content pre.scroll-x::after{content:"";position:absolute;top:0;bottom:0;z-index:1;width:2rem;pointer-events:none;transition:opacity .15s ease}.md-content pre.scroll-x::before{left:0;border-radius:var(--radius)0 0 var(--radius);background:linear-gradient(to right,var(--code-block-bg),transparent)}.md-content pre.scroll-x::after{right:0;border-radius:0 var(--radius)var(--radius)0;background:linear-gradient(to left,var(--code-block-bg),transparent)}.md-content pre.scroll-x.at-start::before,.md-content pre.scroll-x.at-end::after{opacity:0}.md-content pre>code:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.md-content blockquote{border-inline-start:2px solid var(--tertiary);padding:0 0 0 1rem;margin:1.25rem 0;color:var(--secondary);font-style:normal}.md-content .aside{display:block;margin-top:-.4rem;font-size:.92em;line-height:var(--leading-ui);color:var(--secondary);user-select:none}.md-content p+.aside{margin-top:-1.5rem}.md-content .aside-icon{display:inline-block;width:1em;height:1em;vertical-align:-.15em;margin-right:.35em;opacity:.7}.md-content .aside :is(s,del){opacity:.8}.md-content blockquote p{margin:.25rem 0}.md-content blockquote :is(a,strong,em){color:inherit}.md-content blockquote code{color:var(--content)}.md-content hr{border:0;height:auto;background:0 0;margin:2.5rem auto;text-align:center;color:var(--secondary);overflow:visible}.md-content hr::before{content:"···";display:inline-block;letter-spacing:.5em;font-size:.9em;line-height:1;opacity:.7}.md-content iframe{max-width:100%}.md-content img{border-radius:var(--radius);margin:1rem auto;display:block;max-width:100%;height:auto}.md-content img[src*="#center"]{margin:1rem auto}html[data-theme=dark] .md-content :is(p,figure)>img,html[data-theme=dark] .md-content a>img{background:#fff;padding:6px;filter:brightness(.94)contrast(.97)}.md-content figure.align-center{text-align:center}.md-content figure{margin:1.25rem auto}.md-content figure>figcaption{color:var(--secondary);font-size:.88em;font-weight:400;text-align:center;margin:.5rem 0 0;line-height:1.5;letter-spacing:var(--tracking-small)}.md-content figure>figcaption>p{color:var(--secondary);font-size:1em;font-weight:400;margin:0}.anchor:hover{color:var(--content)!important}.md-content img.in-text{display:inline;margin:auto}mark{border-radius:2px;padding:0 2px}.md-content kbd{display:inline-block;padding:.1em .45em;font-family:ui-monospace,sf mono,Menlo,Monaco,cascadia mono,Consolas,monospace;font-size:.82em;line-height:1.4;color:var(--primary);background:var(--theme);border:1px solid var(--tertiary);border-bottom-width:2px;border-radius:4px;vertical-align:.05em;white-space:nowrap}audio{display:block;width:100%;border:1px solid var(--border);border-radius:var(--radius);overflow:hidden;height:2.5rem;margin-bottom:var(--content-gap)}audio::-webkit-media-controls-enclosure{border-radius:0}video{border:1px solid var(--code-bg);border-radius:var(--radius);max-width:100%}.md-content .small-text{margin-top:1rem;color:var(--secondary);font-size:.88rem;line-height:var(--leading-ui);letter-spacing:var(--tracking-small)}.md-content .small-text :is(p,ol,ul):not(:last-child){margin-bottom:.5rem}.md-content .small-text li{margin-top:.15rem}.md-content .small-text:not(:last-child){margin-bottom:var(--content-gap)}.post-entry,.first-entry,.tag-entry{background:0 0;border:none;box-shadow:none;border-radius:0;padding:0;margin:0 0 2.5rem;position:relative}.post-entry:hover,.first-entry:hover,.tag-entry:hover{transform:none;box-shadow:none;background:0 0}.first-entry{min-height:auto;display:block}.post-entry>.entry-link{position:static;display:block;color:inherit;padding:.5rem .75rem;margin:.25rem -.75rem 0;border-radius:6px;background:0 0;transition:background .15s ease}.post-entry>.entry-link,.post-entry>.entry-link:hover,.post-entry>.entry-link:focus,.post-entry>.entry-link h2,.post-entry>.entry-link p{text-decoration:none}.post-entry>.entry-link:hover{background:var(--hover-bg)}.post-entry h2,.first-entry h2,.tag-entry h2{margin:0;font-size:1.4rem;font-weight:500;line-height:var(--leading-heading);letter-spacing:var(--tracking-heading);color:var(--accent)}.post-entry .entry-content,.first-entry .entry-content{margin:.4rem 0 0;font-size:.95rem;line-height:var(--leading-ui);color:var(--primary);opacity:.85;-webkit-line-clamp:unset;max-height:none;display:block;overflow:visible}.post-entry .entry-content p{margin:0}.entry-meta-top{display:flex;flex-wrap:wrap;align-items:center;gap:.25rem .5rem;font-size:.8rem;letter-spacing:var(--tracking-small);color:var(--secondary);margin-bottom:.25rem}.entry-meta-top .entry-date,.entry-meta-top .entry-readtime{color:var(--secondary)}.entry-meta-top .entry-category{color:var(--accent);text-transform:uppercase;letter-spacing:.08em;font-size:.75rem;font-weight:500;text-decoration:none;border-radius:3px;padding:3px 5px;margin:-3px -5px;transition:background .15s ease}.entry-meta-top .entry-category:hover{background:var(--link-hover-bg)}.entry-meta-top .entry-date+.entry-readtime::before{color:var(--secondary);margin:0 .05rem}.entry-meta-top .entry-tags{display:inline-flex;flex-wrap:wrap;gap:.25rem}.entry-hint{color:var(--secondary)}.entry-hint-parent{display:flex;justify-content:space-between}.page-header,.post-header{margin:0 auto 1.25rem;padding:0}.page-header h1,.post-title{font-weight:500;font-size:1.8rem;letter-spacing:var(--tracking-display);line-height:var(--leading-display);margin:.4rem 0 0}.page-header h1 svg{width:18px;height:18px;vertical-align:middle;opacity:.7}.post-description{margin-top:.4rem}.post-content{color:var(--content);margin:1.25rem 0 0;font-size:1rem;line-height:var(--leading-prose)}.post-content h1{font-size:1.625rem;font-weight:500}.post-content h2{font-size:1.5rem;font-weight:500}.post-content h3{font-size:1.25rem;font-weight:500}.post-content h4{font-size:1.05rem;font-weight:600;color:var(--secondary);letter-spacing:var(--tracking-body)}.post-content h1,.post-content h2,.post-content h3,.post-content h4{margin-top:2rem;margin-bottom:.6rem}.post-content,.post-content :is(h1,h2,h3,h4,h5,h6){scroll-margin-top:var(--anchor-offset)}.post-content h2{margin-top:2.75rem}.post-content strong,.post-content b{font-weight:600}.post-content :is(h1,h2,h3,h4,h5,h6) .anchor{display:inline-flex;margin-inline-start:.25em;color:var(--secondary);font-weight:500;text-decoration:none;opacity:0;user-select:none;transition:opacity .15s ease}.post-content :is(h1,h2,h3,h4,h5,h6):hover .anchor,.post-content :is(h1,h2,h3,h4,h5,h6):focus-within .anchor{opacity:1}.post-content code,.post-content pre{font-feature-settings:normal;font-variant-ligatures:none;letter-spacing:0}.post-footer{margin-top:var(--content-gap)}nav.toc{margin:1rem 0 0;padding:0;font-size:.95rem}nav.toc ul,nav.toc #TableOfContents ul{list-style:none;margin:0;padding-left:1.5rem;line-height:1.9}nav.toc>ul,nav.toc #TableOfContents>ul{padding-left:0}nav.toc li{position:relative;margin:0}nav.toc li::before{content:none}nav.toc a{display:block;padding:2px 8px;margin:0;border-radius:3px;color:var(--secondary);transition:color .15s ease}nav.toc a:hover{color:var(--primary);background:0 0}nav.toc a.active{color:var(--primary);font-weight:500;background:0 0}hr.toc-divider{border:none;border-top:1px solid var(--border);margin:1.25rem 0 0;height:0;background:0 0}@media(min-width:1400px){.post-single nav.toc{position:fixed;top:var(--anchor-offset);left:calc(50vw + var(--main-width)/2 + var(--gap));width:300px;margin:0;font-size:.85rem}.post-single nav.toc>#TableOfContents{max-height:calc(100vh - var(--anchor-offset) - var(--gap));overflow-y:auto;padding-right:.5rem;scrollbar-width:thin}.post-single nav.toc ul,.post-single nav.toc #TableOfContents ul{line-height:1.65;padding-left:1rem}.post-single hr.toc-divider{display:none}}.toc-island{display:none}@media(max-width:1399.98px){.post-single nav.toc{position:fixed;left:50%;bottom:calc(1rem + env(safe-area-inset-bottom));transform:translateX(-50%);z-index:100;margin:0;font-size:.9rem}.toc-island{display:inline-flex;align-items:center;gap:.5rem;max-width:min(24rem,calc(100vw - (var(--gap) + 3rem) * 2));height:2.5rem;padding:0 .95rem;border-radius:999px;background:var(--glass-bg);-webkit-backdrop-filter:var(--glass-filter);backdrop-filter:var(--glass-filter);box-shadow:var(--glass-shadow);color:var(--primary);font-size:.85rem;white-space:nowrap}.toc-island-current{min-width:0;overflow:hidden;text-overflow:ellipsis}.toc-island svg{flex:none;width:1rem;height:1rem;color:var(--secondary)}.toc-island-chevron{transition:transform .2s ease}.post-single nav.toc.open .toc-island-chevron{transform:rotate(180deg)}.post-single nav.toc:not(.open)>#TableOfContents{display:none}.post-single nav.toc>#TableOfContents{position:absolute;bottom:calc(100% + .5rem);left:50%;transform:translateX(-50%);width:min(36rem,calc(100vw - var(--gap) * 2));max-height:min(60vh,30rem);overflow-y:auto;overscroll-behavior:contain;padding:.6rem .4rem;border-radius:14px;background:var(--glass-bg);-webkit-backdrop-filter:var(--glass-filter);backdrop-filter:var(--glass-filter);box-shadow:var(--glass-shadow)}.post-single hr.toc-divider{display:none}}@supports not ((backdrop-filter:blur(1px)) or (-webkit-backdrop-filter:blur(1px))){.toc-island,.post-single nav.toc>#TableOfContents{background:var(--theme)}}@supports not (background:color-mix(in srgb,white,transparent)){.toc-island,.post-single nav.toc>#TableOfContents{background:var(--theme)}}@media(max-width:1399.98px) and (prefers-reduced-motion:reduce){.toc-island-chevron{transition:none}}.paginav{display:flex;margin:2.5rem 0 0;background:0 0;border-radius:0;line-height:1.4;padding:0}.paginav a{flex:1 1 50%;display:flex;flex-direction:column;gap:.3rem;padding:.85rem 1rem;color:var(--primary);text-decoration:none;background:0 0;border:none;border-radius:0;min-width:0;width:auto;transition:background .15s ease}.paginav a:hover{background:var(--hover-bg)}.paginav .prev{text-align:left}.paginav .next{text-align:right;margin-inline-start:auto}.paginav .title{font-size:.75rem;color:var(--secondary);letter-spacing:var(--tracking-small);text-transform:none;font-weight:400}.paginav a>span:not(.title){font-size:.95rem;font-weight:500;color:var(--primary);text-decoration:none;overflow:hidden;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;line-clamp:2}.paginav span:hover:not(.title){text-decoration:none}.post-tags{display:flex;flex-wrap:wrap;gap:10px}.post-tags li{display:inline-block}.post-tags a,.terms-tags a{display:inline-block;padding:1px 10px;background:var(--tag-bg);color:var(--tag-fg);border:none;border-radius:3px;font-size:.85rem;line-height:1.6;text-decoration:none;transition:background .15s ease,color .15s ease}.post-tags a:hover,.terms-tags a:hover{background:var(--tag-hover-bg);color:var(--tag-fg)}section.comments{margin-top:2rem;padding-top:2rem;border-top:1px solid var(--border);position:relative;min-height:4rem}section.comments::before{content:"Comments";display:block;font-size:.85rem;color:var(--secondary);letter-spacing:.04em;text-transform:uppercase;font-weight:600;margin-bottom:.75rem}.md-content .svg-figure-frame{position:relative}.md-content .svg-figure-scroll{overflow-x:auto;border-radius:var(--radius)}.md-content .svg-figure-scroll>svg{display:block;width:100%;min-width:640px;height:auto}.md-content .svg-figure-fit .svg-figure-scroll>svg{min-width:0;max-width:var(--svg-max);margin:0 auto}.md-content .svg-figure-dual{container-type:inline-size}.md-content .svg-figure-narrow{display:none}.md-content .svg-figure-narrow>svg{display:block;width:100%;max-width:420px;height:auto;margin:0 auto}@container(max-width:639px){.md-content .svg-figure-dual .svg-figure-frame {
        display: none;
    }

    .md-content .svg-figure-dual .svg-figure-narrow {
        display: block;
    }
}.md-content .svg-figure-frame.scroll-x::before,.md-content .svg-figure-frame.scroll-x::after{content:"";position:absolute;top:0;bottom:0;z-index:1;width:2rem;pointer-events:none;transition:opacity .15s ease}.md-content .svg-figure-frame.scroll-x::before{left:0;background:linear-gradient(to right,var(--theme),transparent)}.md-content .svg-figure-frame.scroll-x::after{right:0;background:linear-gradient(to left,var(--theme),transparent)}.md-content .svg-figure-frame.scroll-x.at-start::before,.md-content .svg-figure-frame.scroll-x.at-end::after{opacity:0}.md-content .svg-figure-scroll:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.md-content .figure-pin{position:relative;z-index:1;margin-top:0;padding:.25rem 0 .5rem;background:var(--tabs-bg,var(--hover-bg))}@media(max-width:640px){.md-content .figure-pin{position:sticky;top:var(--tabs-sticky-top,var(--anchor-offset))}}.md-content .figure-pin>svg,.md-content .fault-tree-demo>svg{display:block;width:100%;max-width:var(--figure-max,640px);height:auto;margin:0 auto;font-family:inherit}.md-content .tabs{--tabs-bg:var(--hover-bg);--tabs-fade:180ms;--tabs-bar-h:calc(2.75rem + 1.5rem);margin:1.5rem 0 var(--content-gap)}@media(prefers-reduced-motion:reduce){.md-content .tabs{--tabs-fade:0ms}}.md-content .tabs.is-ready{--tabs-sticky-top:calc(var(--header-height) + 12px + var(--tabs-bar-h));position:relative;display:grid;grid-template-columns:minmax(0,1fr);padding:.25rem 1.25rem 1.25rem;border-radius:12px;background:var(--tabs-bg)}.md-content .tabs.is-ready>.tab-bar{grid-row:1;position:relative;z-index:2;display:flex;align-items:center;justify-content:center;height:var(--tabs-bar-h);margin:0 -1.25rem;padding:0 1.25rem;border-top-left-radius:inherit;border-top-right-radius:inherit;background:var(--tabs-bg)}.md-content .tabs.is-ready>.tab-panel{grid-row:2/3;grid-column:1/2;background:var(--tabs-bg)}.md-content .tabs.is-ready>.tab-panel.is-active{position:relative;z-index:1}.md-content .tabs.is-ready>.tab-panel:not(.is-active){position:absolute;inset:0;overflow:clip;opacity:0;visibility:hidden;pointer-events:none}.md-content .tabs.is-switching>.tab-panel.is-active{transition:opacity var(--tabs-fade)ease}.md-content .tabs.is-switching>.tab-panel:not(.is-active){transition:opacity 0s var(--tabs-fade),visibility 0s var(--tabs-fade)}.md-content .tab-list{display:flex;gap:.25rem;width:fit-content;max-width:100%;padding:.25rem;border-radius:999px;background:color-mix(in srgb,var(--primary) 7%,transparent);overflow-x:auto}.md-content .tab{flex:none;min-height:2.25rem;padding:0 1.1rem;border-radius:999px;color:var(--secondary);font-size:.92rem;font-weight:500;white-space:nowrap;transition:background .15s ease,color .15s ease,box-shadow .15s ease}.md-content .tab:hover{color:var(--primary)}.md-content .tab[aria-selected=true]{background:var(--theme);color:var(--primary);box-shadow:0 1px 3px rgba(0,0,0,.12)}.md-content .tab:focus-visible,.md-content .tab-panel:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.md-content .tab-panel{border-radius:var(--radius)}.md-content .tab-panel-label{margin-bottom:.5rem;color:var(--secondary);font-size:.8rem;font-weight:600;letter-spacing:var(--tracking-small)}.md-content .tabs.is-ready .tab-panel-label{display:none}.md-content .tabs:not(.is-ready) .tab-panel+.tab-panel{margin-top:var(--content-gap)}@media(max-width:640px){.md-content .tabs.is-ready{margin-left:-1.25rem;margin-right:-1.25rem;padding-left:1.25rem;padding-right:1.25rem;border-radius:0}.md-content .tabs.is-ready>.tab-bar{position:sticky;top:calc(var(--header-height) + 12px)}}.entry-tag{display:inline-flex;align-items:center;gap:.3rem;padding:1px 8px;background:var(--tag-bg);color:var(--tag-fg);border:none;border-radius:3px;font-size:.78rem;line-height:1.4;letter-spacing:var(--tracking-small);text-decoration:none;transition:background .15s ease,color .15s ease;position:relative}.entry-tag::after{content:"";position:absolute;inset:-3px 0}.entry-tag:hover{background:var(--tag-hover-bg);color:var(--tag-fg)}.entry-tag--lg{gap:.4rem;padding:6px 12px;border-radius:4px;font-size:.92rem}.entry-tag.selected{background:var(--accent);color:var(--accent-contrast)}.entry-tag.selected:hover{background:var(--accent);color:var(--accent-contrast)}.entry-tag-count{font-size:.82em;opacity:.7}.entry-tag.selected .entry-tag-count{opacity:1}.md-content .term-trigger{display:inline;padding:0;border:0;background:0 0;color:inherit;font:inherit;letter-spacing:inherit;line-height:inherit;vertical-align:baseline;text-decoration:underline dotted;text-decoration-color:var(--secondary);text-decoration-thickness:1.5px;text-underline-offset:.3em;cursor:help;transition:color .15s ease,text-decoration-color .15s ease}.md-content .term-trigger:hover,.md-content .term-trigger:focus-visible{color:var(--accent);text-decoration-color:var(--accent)}.md-content .term-trigger:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:2px}.md-content .term-popover{position:fixed;inset:auto;margin:0;max-width:min(22rem,calc(100vw - 16px));padding:.7rem .9rem;border:0;border-radius:10px;background:var(--primary);color:var(--theme);box-shadow:var(--float-shadow);font-size:.9rem;font-weight:400;line-height:var(--leading-ui);letter-spacing:var(--tracking-body);text-align:left}.md-content .term-popover :is(a,strong,em,code){color:inherit}@supports not selector(:popover-open){.md-content .term-popover{position:static;display:inline;padding:0;background:0 0;box-shadow:none;color:var(--secondary);font-size:inherit}.md-content .term-popover::before{content:" ("}.md-content .term-popover::after{content:")"}}.terms-tags{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:var(--content-gap);padding:0}.terms-tags li{display:inline-block;font-weight:400;list-style:none}[hidden]{display:none!important}.tag-filter{display:flex;flex-wrap:wrap;gap:.5rem;margin:.5rem 0 1.75rem;padding:0}.tag-chip{cursor:pointer}.tag-filter-status{color:var(--secondary);font-size:.85rem;margin:0 0 .75rem}.tag-filtered-list{list-style:none;margin:0;padding:0}.tag-filtered-item{display:flex;justify-content:space-between;align-items:baseline;gap:1rem;padding:.25rem 0;line-height:1.5}.tag-filtered-item a{flex:auto;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.tag-filtered-date{flex-shrink:0;color:var(--secondary);font-size:.78rem;white-space:nowrap}.tag-empty{color:var(--secondary);font-size:.9rem;padding:1rem 0;text-align:center}.tag-group{margin:1.5rem 0 0;padding:0 0 .75rem;border-bottom:1px solid var(--border)}.tag-group:last-of-type{border-bottom:none}.tag-group-header{margin:0 0 .5rem;font-size:1.05rem;font-weight:600;display:flex;align-items:baseline;gap:.4rem}.tag-group-count{font-size:.8rem;color:var(--secondary);font-weight:400}.tag-group-posts{list-style:none;margin:0;padding:0 0 0 .75rem}.tag-group-posts li{display:flex;justify-content:space-between;align-items:baseline;gap:1rem;padding:.15rem 0;line-height:1.5}.tag-group-posts li a{flex:auto;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.tag-group-date{flex-shrink:0;color:var(--secondary);font-size:.78rem;white-space:nowrap}.category-index{list-style:none;margin:1rem 0 0;padding:0}.category-index li{display:flex;align-items:baseline;gap:.5rem;padding:.35rem 0;border-bottom:1px solid var(--border)}.category-index li:last-child{border-bottom:none}.category-index-name{text-transform:uppercase;letter-spacing:.08em;font-size:.95rem;font-weight:500}.category-index-count{color:var(--secondary);font-size:.8rem}@media(max-width:768px){:root{--gap:14px}.archive-month{flex-direction:column}.archive-year{margin-top:20px}}@media(max-width:640px){.header-nav{padding:0 1.25rem;column-gap:.5rem;align-items:center}#menu{column-gap:.25rem}#menu a{padding:6px 8px;font-size:.95rem}.logo a{font-size:1.25rem}.main{padding:1rem 1.25rem}.post-entry>.entry-link{margin:.35rem -1.25rem 0;padding:.5rem 1.25rem;border-radius:0}.paginav{flex-direction:column}.paginav a+a{border-left:none;border-top:1px solid var(--border)}.paginav .next{text-align:left}}@media(prefers-reduced-motion){.top-link,.post-entry:active{transform:none}}.bg{color:#cad3f5;background-color:#24273a}.chroma{color:#cad3f5;background-color:#24273a}.chroma .err{color:#ed8796}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#474733}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#8087a2}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#8087a2}.chroma .line{display:flex}.chroma .k{color:#c6a0f6}.chroma .kc{color:#f5a97f}.chroma .kd{color:#ed8796}.chroma .kn{color:#8bd5ca}.chroma .kp{color:#c6a0f6}.chroma .kr{color:#c6a0f6}.chroma .kt{color:#ed8796}.chroma .na{color:#8aadf4}.chroma .nb{color:#91d7e3}.chroma .bp{color:#91d7e3}.chroma .nc{color:#eed49f}.chroma .no{color:#eed49f}.chroma .nd{color:#8aadf4;font-weight:700}.chroma .ni{color:#8bd5ca}.chroma .ne{color:#f5a97f}.chroma .nf{color:#8aadf4}.chroma .fm{color:#8aadf4}.chroma .nl{color:#91d7e3}.chroma .nn{color:#f5a97f}.chroma .py{color:#f5a97f}.chroma .nt{color:#c6a0f6}.chroma .nv{color:#f4dbd6}.chroma .vc{color:#f4dbd6}.chroma .vg{color:#f4dbd6}.chroma .vi{color:#f4dbd6}.chroma .vm{color:#f4dbd6}.chroma .s{color:#a6da95}.chroma .sa{color:#ed8796}.chroma .sb{color:#a6da95}.chroma .sc{color:#a6da95}.chroma .dl{color:#8aadf4}.chroma .sd{color:#6e738d}.chroma .s2{color:#a6da95}.chroma .se{color:#8aadf4}.chroma .sh{color:#6e738d}.chroma .si{color:#a6da95}.chroma .sx{color:#a6da95}.chroma .sr{color:#8bd5ca}.chroma .s1{color:#a6da95}.chroma .ss{color:#a6da95}.chroma .m{color:#f5a97f}.chroma .mb{color:#f5a97f}.chroma .mf{color:#f5a97f}.chroma .mh{color:#f5a97f}.chroma .mi{color:#f5a97f}.chroma .il{color:#f5a97f}.chroma .mo{color:#f5a97f}.chroma .o{color:#91d7e3;font-weight:700}.chroma .ow{color:#91d7e3;font-weight:700}.chroma .c{color:#6e738d;font-style:italic}.chroma .ch{color:#6e738d;font-style:italic}.chroma .cm{color:#6e738d;font-style:italic}.chroma .c1{color:#6e738d;font-style:italic}.chroma .cs{color:#6e738d;font-style:italic}.chroma .cp{color:#6e738d;font-style:italic}.chroma .cpf{color:#6e738d;font-weight:700;font-style:italic}.chroma .gd{color:#ed8796;background-color:#363a4f}.chroma .ge{font-style:italic}.chroma .gr{color:#ed8796}.chroma .gh{color:#f5a97f;font-weight:700}.chroma .gi{color:#a6da95;background-color:#363a4f}.chroma .gs{font-weight:700}.chroma .gu{color:#f5a97f;font-weight:700}.chroma .gt{color:#ed8796}.chroma .gl{text-decoration:underline}.chroma{background-color:unset!important}.chroma .hl{display:flex}.chroma .lnt{padding:0 0 0 12px}.highlight pre.chroma code{padding:8px 0}.highlight pre.chroma .line .cl,.chroma .ln{padding:0 10px}.chroma .lntd:last-of-type{width:100%}