@font-face{font-family:Relative;font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/relative-book-defcce3cea.woff2) format("woff2")}@font-face{font-family:Relative;font-style:italic;font-weight:400;font-display:swap;src:url(/assets/fonts/relative-italic-9920de19ce.woff2) format("woff2")}@font-face{font-family:Relative;font-style:normal;font-weight:700;font-display:swap;src:url(/assets/fonts/relative-bold-76d77bcc68.woff2) format("woff2")}@font-face{font-family:"Relative Mono";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/relative-mono-11-pitch-86cc65961d.woff2) format("woff2")}*{box-sizing:border-box}:focus-visible{outline:.1em solid #000}body{display:flex;flex-direction:column;min-height:100vh;margin:0;background-color:#fbf4eb}footer{-webkit-margin-before:auto;margin-block-start:auto}body{font-family:Relative,ui-sans-serif,sans-serif;font-size:calc(1em + .4vw);font-weight:400;font-style:normal;line-height:1.4;color:#000}:is(h1,h2,h3){font-weight:700;line-height:1;letter-spacing:-.03em}h1{font-size:clamp(3.157em,calc(2.63rem + 3.37vw),4.209em)}h1>strong{font-weight:700;color:#007579}h2{font-size:clamp(2.369em,calc(1.97rem + 2.52vw),3.157em)}h3{font-size:clamp(1.333em,calc(1.11rem + 1.42vw),1.777em)}p{max-inline-size:34em}a{color:#007579;-webkit-text-decoration-color:#007579;text-decoration-color:#007579;text-decoration-thickness:.1em;-webkit-text-decoration-line:underline;text-decoration-line:underline;-webkit-text-decoration-style:solid;text-decoration-style:solid}a:focus-visible,a:hover{-webkit-text-decoration-line:none;text-decoration-line:none}ul{-webkit-padding-start:1.5em;padding-inline-start:1.5em}::marker{color:#007579}figure{margin-inline:0}figcaption{font-size:.875em}img{display:block;max-width:100%;font-style:italic;border-radius:.4em}img[width][height]{height:auto}code{font-family:"Relative Mono",ui-monospace,monospace;font-size:.875em}code:not([class]){background-color:rgba(255,255,255,.7);padding:.125em .25em;border-radius:.125em;overflow-wrap:break-word}math{display:inline;text-indent:0}mfrac{display:inline-table;vertical-align:middle;border-collapse:collapse}mfrac>*{display:table-row}mfrac:not([linethickness="0"])>:first-child{border-bottom:solid .1em}msup>:nth-child(2){font-size:.8em;vertical-align:super}mi{font-style:italic}mo{vertical-align:middle;margin-right:.1em;margin-left:.1em}::-moz-selection{color:#fff;background-color:#007579}::selection{color:#fff;background-color:#007579}.o-bare-list{list-style:none;-webkit-padding-start:0;padding-inline-start:0}[class*=o-box]{background-color:#fff}.o-box-list{padding:2em;border-radius:1em}.o-box-cta{padding:3em;border-radius:1em}.o-box-post{padding:2em 1.5em;border-radius:.4em}.o-center{max-inline-size:34em;margin-inline:auto}[class*=o-flow]>*{margin-block:0}.o-flow-base>*+*{-webkit-margin-before:1em;margin-block-start:1em}.o-flow-md>*+*{-webkit-margin-before:1.5em;margin-block-start:1.5em}.o-labeled-figure{position:relative}.o-labeled-figure>figcaption{position:absolute;top:.5em;right:1em;text-transform:uppercase;color:#007579;font-family:"Relative Mono",ui-monospace,monospace;font-variant-caps:all-small-caps;letter-spacing:.03em}.o-panel-md{padding-block:1.5em}.o-panel-lg{padding-block:3em}.o-panel-xl{padding-block:6em}.o-wrapper{box-sizing:content-box;inline-size:85%;max-inline-size:89.0122260911em;margin-inline:auto;padding-inline:7.5%}.automata__canvas{width:100%;height:25rem;max-height:80vh;background:#fff;display:block;-ms-interpolation-mode:nearest-neighbor;image-rendering:pixelated}*+.automata,.automata+*{margin-top:2rem}.automata__controls{margin-top:.5rem}.automata__controls button{background-color:#007579;padding:.5rem 1rem;border:2px solid #007579;color:#fff;font:inherit;cursor:pointer;display:inline-flex;align-items:center;justify-content:center}.automata__controls button:hover{background-color:#000;border-color:#000}button:focus{outline:2px solid #000;position:relative}button:not(:focus-visible){outline:0}.automata__controls button:active{position:relative;top:2px}button:focus-visible{outline:2px solid #000}.automata__controls input{font:inherit}.automata__controls svg{width:1rem;height:1rem;stroke:currentColor;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;fill:none}.automata__controls span{margin-left:.5rem}#play svg{fill:currentColor}.automata__controls #play{min-width:6.75rem}[aria-label=play] .icon-pause,[aria-label=play] .label-pause{display:none}[aria-label=pause] .icon-play,[aria-label=pause] .label-play{display:none}input{border:2px solid #007579;font:inherit}input:hover{border:2px solid #000}input:focus{outline:2px solid #000;position:relative}input:not(:focus-visible){outline:0}input:focus-visible{outline:2px solid #000}input::-moz-selection{background-color:#000;color:#fff}input::selection{background-color:#000;color:#fff}.automata__controls{display:flex;gap:.5rem;align-items:flex-end;flex-wrap:wrap}.stepper{display:flex;align-items:center;flex-direction:column}.stepper button{margin:0}.stepper input{text-align:center;padding-top:.5rem;padding-bottom:.5rem}.stepper [aria-disabled=true]{cursor:initial;opacity:.65}input::-webkit-inner-spin-button,input::-webkit-outer-spin-button{-webkit-appearance:none}input[type=number]{-moz-appearance:textfield}.stepper label{margin-right:.5rem}.stepper__controls{display:flex}.c-article-index{-webkit-margin-before:3em;margin-block-start:3em}.c-article-index>li{max-inline-size:36em;margin-inline:auto}.c-article-index h2{font-size:1.333em}.c-article-index a{color:#000}.c-article-index time{font-size:.875em}@media (min-width:70em){.c-article-index>li:first-child{position:relative}.c-article-index>li:first-child:before{content:"";display:block;position:absolute;top:-4em;left:-10em;width:10em;height:10em;background-image:url(/assets/images/arrow.svg);background-repeat:no-repeat;background-size:cover}}[class*=c-blob]{background-repeat:no-repeat;background-size:53em 35em;background-position-x:center;background-position-y:center}.c-blob-1{background-image:url(/assets/images/blob-1.svg)}.c-blob-2{background-image:url(/assets/images/blob-2.svg)}.c-blob-4{background-image:url(/assets/images/blob-4.svg);background-position-y:top}.c-button{display:inline-block;padding:.5em 1em;background:#007579;color:#fff;text-decoration:none;border-radius:.4em;cursor:pointer}.c-button:hover{background:#000}.c-callout{margin-block:6em;text-align:center}.c-callout>p{max-width:28em;margin-inline:auto}.c-code-block>pre{margin-block:0;overflow-x:auto;-moz-tab-size:2;-o-tab-size:2;tab-size:2;font-feature-settings:"calt" 0}.token.cdata,.token.comment,.token.doctype,.token.prolog{color:#687887}.token.punctuation{color:#999}.token.namespace{opacity:.7}.token.boolean,.token.constant,.token.deleted,.token.keyword,.token.number,.token.property,.token.symbol,.token.tag{color:#ab2346}.token.attr-name,.token.builtin,.token.char,.token.inserted,.token.selector,.token.string{color:#007579}.language-css .token.string,.style .token.string,.token.entity,.token.operator,.token.url{color:#9a6e3a;background:rgba(255,255,255,.5)}.token.atrule,.token.attr-value{color:#595959}.token.class-name,.token.function{color:#005a5e}.token.regex{color:#e90}.token.entity{cursor:help}.c-example{resize:horizontal;overflow:auto;max-inline-size:100%;box-sizing:content-box}.c-example>iframe{display:block;width:100%;height:100%}.c-footer{-webkit-border-before:.2em solid #000;border-block-start:.2em solid #000}.c-header{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:center;-moz-column-gap:3em;column-gap:3em;row-gap:1em}.c-image>figcaption{-webkit-margin-before:.5em;margin-block-start:.5em}.c-logo{display:block;width:-moz-min-content;width:min-content;font-weight:700;text-transform:uppercase;line-height:1;letter-spacing:.03em;text-decoration:none;color:#000}.c-nav{margin-block:0;display:flex;flex-wrap:wrap;justify-content:flex-start;align-items:center;-moz-column-gap:1.5em;column-gap:1.5em;row-gap:1em}.c-nav{margin-block:0}.c-nav a{display:block;color:#000;-webkit-text-decoration-line:none;text-decoration-line:none;text-underline-offset:.15em;position:relative}.c-nav a::after{content:"";position:absolute;top:50%;left:0;width:max(100%,44px);height:44px;transform:translateY(-50%)}.c-nav a:hover,.c-nav a[aria-current=page]{-webkit-text-decoration-line:underline;text-decoration-line:underline}.c-page h1{max-inline-size:20ch}.c-page :is(h1,h2)+p{-webkit-margin-before:1.5em;margin-block-start:1.5em}.c-page p+ul:not([class]){-webkit-margin-before:.25em;margin-block-start:.25em}.c-post h1{font-size:clamp(2.369em,calc(1.97rem + 2.52vw),3.157em)}.c-post h2{font-size:clamp(1.777em,calc(1.48rem + 1.89vw),2.369em)}.c-post *+figure,.c-post figure+*{-webkit-margin-before:1.5em;margin-block-start:1.5em}.c-post-header{-webkit-margin-after:3em;margin-block-end:3em}.c-post-header>h1{margin-block:0;max-inline-size:18ch}.c-post-header>time{display:block;font-size:1.333em;-webkit-margin-before:.5em;margin-block-start:.5em}.c-prevnext{padding:3em;-webkit-margin-before:6em;margin-block-start:6em}.c-prevnext p+p{margin-top:1.5em}.c-prevnext p{margin-block:0}.c-prevnext span{display:block}.c-prevnext a{font-weight:700;font-size:1.333em;color:#000}@media (min-width:50em){.c-prevnext{display:grid;grid-template-columns:repeat(2,1fr);grid-gap:3em}.c-prevnext p+p{margin-top:0}.prev{grid-column:1}.next{grid-column:2;text-align:right}}.c-principles{-webkit-margin-before:1.5em;margin-block-start:1.5em;display:flex;flex-direction:column}.c-principles>li{inline-size:-moz-fit-content;inline-size:fit-content}.c-principles>:nth-child(2){align-self:center}.c-principles>:nth-child(3){align-self:flex-end}.c-principles h3{display:flex;align-items:center;font-size:1.333em}.c-principles h3::before{content:counter(list-item);font-size:.6666em;padding:.35em .65em;border-radius:.4em;-webkit-margin-end:.5em;margin-inline-end:.5em;background-color:#b3d6d7;color:rgba(0,0,0,.7)}.c-principles p{max-inline-size:30em}.c-skip-link{position:absolute;left:max(7.5%,(100% - 89.0122260911em) / 2);top:1.5em;transform:translateY(-200%)}.c-skip-link:focus{transform:translateY(0)}