@media(min-width:1100px){.article__layout.has-contents{display:grid;grid-template-columns:minmax(0,15rem) minmax(0,1fr);align-items:start;gap:clamp(2.5rem,5vw,5rem)}.article__contents{position:sticky;top:96px;max-height:calc(100vh - 120px);overflow-y:auto}}.article__contents{margin-bottom:2.5rem;padding-top:14px;border-top:1px solid var(--a-rule)}.article__contents>.a-label{color:var(--a-ink)}.article__contents ol{margin:10px 0 0;padding:0;list-style:none}.article__contents li+li{margin-top:6px}.article__contents ol ol{margin:6px 0 2px;padding-left:14px;border-left:1px solid var(--a-hair)}.article__contents ol ol a{font-size:14px}.article__contents a{color:var(--a-copy);font-size:15px;line-height:1.4;text-decoration:none}.article__contents a:hover,.article__contents a:focus-visible{color:var(--a-ink);text-decoration:underline;text-underline-offset:3px}.article__body h2:first-child{margin-top:0}.article__body h3,.article__body h4{scroll-margin-top:16px}.article__body h4{margin-top:1.6rem;color:var(--a-ink);font-family:var(--font-headline);font-size:18px;font-weight:500;line-height:1.35}.article__body h4+*{margin-top:.5rem}.article__body ol{padding-left:1.4rem}.article__body li>ul,.article__body li>ol{margin-top:.4rem}.article__body blockquote{padding-left:1.25rem;border-left:2px solid var(--a-hair)}.article__body em{font-style:italic}.article__body a{overflow-wrap:anywhere}.article__body p,.article__body li{overflow-wrap:break-word}.article-note{padding:16px 20px;border:1px solid var(--a-hair);background:#f0f3f4}.article-note>*+*{margin-top:.6rem}.article .article-note__label{color:var(--a-ink);font:600 14px/1.3 var(--font-display);letter-spacing:.06em;text-transform:uppercase}.article__body figure{margin:2rem 0}.article__body figure img{display:block;max-width:100%;height:auto;margin-inline:auto;border:1px solid var(--a-hair)}.article__body .article-figure-full{display:block;cursor:zoom-in;text-decoration:none}.article__body .article-figure-full__hint{display:block;margin-top:6px;color:var(--a-link);font-size:14px;text-align:right;text-decoration:underline;text-underline-offset:3px}.article__body figure img[data-night]{padding:20px;border-color:var(--a-night);background:var(--a-night)}.article__body .article-figure-label{margin:1.5rem 0 8px;color:var(--a-ink);font-size:15px;font-weight:600}.article__body .article-figure-label:first-child{margin-top:0}.article__body figcaption{margin-top:8px;color:var(--a-copy);font-size:14px;line-height:1.5;text-align:center}.article__body table:focus-visible{outline:2px solid var(--a-link);outline-offset:2px}.article__body table{display:block;max-width:100%;overflow-x:auto;border-collapse:collapse;font-size:15px;line-height:1.5}.article__body caption{padding-bottom:8px;color:var(--a-ink);font-weight:600;text-align:left}.article__body th,.article__body td{padding:10px 12px;border:1px solid var(--a-hair);text-align:left;vertical-align:top;overflow-wrap:anywhere}.article__body th{color:var(--a-ink);background:#f0f3f4;font-weight:600}.article__body td{min-width:9rem}.article__body tbody th[scope=row]{min-width:9rem;overflow-wrap:break-word}.article__body .article-source{margin-top:8px;color:var(--a-copy);font-size:14px;line-height:1.5}.article__body .article-refs{padding-left:0;list-style:none;font-size:15px;line-height:1.55}.article__body .article-refs li+li{margin-top:.6rem}.article__body .article-refs li{scroll-margin-top:16px}.article__body .article-refs li:target{background:#fff6e8}@media print{@page{size:letter;margin:.5in;@bottom-left{content:"Automata LLC  |  www.automata.org";color:#46565e;font:8.5pt Arial,sans-serif}@bottom-right{content:counter(page) " of " counter(pages);color:#46565e;font:8.5pt Arial,sans-serif}}body:has(.article) .nav,body:has(.article) .skip-link,body:has(.article) .footer,.article .phead__crumbs,.article .article__pdf,.article .article__contents,.article .newsletter,.article .pclose,.article .article-figure-full__hint{display:none!important}body:has(.article),body:has(.article) .app,.article{background:#fff!important}.article .phead{padding:0 0 16pt;border-bottom:1.5pt solid #0f1a1f;background:#fff;color:#0f1a1f}.article .phead .u-container,.article .article__layout{max-width:none;padding:0}.article .phead .u-container:before{display:block;margin-bottom:12pt;color:#46565e;content:"Automata LLC";font:600 9pt/1 var(--font-display);letter-spacing:.08em;text-transform:uppercase}.article .phead h1{max-width:none;color:#0f1a1f;font-size:25pt;line-height:1.12}.article .phead__intro p{max-width:none;color:#46565e;font-size:11.5pt;line-height:1.5}.article .phead__meta,.article .phead__meta strong{color:#0f1a1f;font-size:10pt}.article .article__layout{display:block;padding-top:18pt}.article__body{max-width:none;font-size:10.5pt;line-height:1.5}.article__body h2{margin-top:20pt;font-size:17pt}.article__body h3{font-size:13pt}.article__body h2,.article__body h3,.article__body h4,.article__body .article-figure-label,.article__body caption{break-after:avoid-page}.article__body figure,.article__body .article-note,.article__body tr{break-inside:avoid}.article__body p{orphans:3;widows:3}.article__body figure img{max-height:8in;object-fit:contain}.article__body table{display:table;width:100%;overflow:visible;font-size:9.5pt}.article__body thead{display:table-header-group}.article__body td,.article__body tbody th[scope=row]{min-width:0}.article__body a{color:#1f5e7a;text-decoration:none}.article__body .article-refs{font-size:9.5pt}}