:root{--foreground-color:#111;--background-color:#fff;--link-foreground-color:#206ca7;--link-hover-foreground-color:#239dee;--annotation-foreground-color:brown;--var-foreground-color:#218379;--referenced0-background-color:#ffff6c;--referenced1-background-color:#ffa4a8;--referenced2-background-color:#96e885;--referenced3-background-color:#3eeed2;--referenced4-background-color:#eacfb6;--referenced5-background-color:#82ddff;--referenced6-background-color:#ffbcf2;--note-background-color:#e9fbe9;--note-border-color:#52e052;--note-editor-border-color:#faa;--nt-link-foreground-color:#333;--production-rhs-background-color:#f0f0f0;--production-rhs-border-color:#888;--params-foreground-color:#2aa198;--opt-foreground-color:#b58900;--title-foreground-color:#f60;--caption-foreground-color:#555555;--table-header-background-color:#eeeeee;--highlight-background-color-start:rgba(249, 241, 172, 1);--highlight-background-color-end:rgba(249, 241, 172, 0);--highlight-background-color:rgba(249, 241, 172, 1);--ins-background-color:#e0f8e0;--ins-border-color:#396;--del-background-color:#fee;--control-foreground-color:#eee;--control-dimmed-foreground-color:#666;--control-background-color:#ddd;--control-dark-background-color:#ccc;--control-border-color:#aaa;--control-light-border-color:#bbb;--control-shortcut-background-color:#eee;--control-shortcut-shadow-color:#ccc;--control-dialog-fade-color:rgba(255, 255, 255, 0.6);--control-link-foreground-color:#1567a2;--control-input-background-color:#bbb;--control-input-border-color:#999;--menu-header-background-color:#bbb;--menu-revealed-link-foreground-color:#206ca7;--menu-unpin-hover-foreground-color:#bb1212;--menu-trace-list-foreground-color:#999;--menu-trace-list-background-color:#222;--toolbox-tail-background-outside-color:rgba(0, 0, 0, 0);--toolbox-tail-border-outside-color:rgba(204, 204, 204, 0);--normative-optional-background-color:#ffeedd;--normative-optional-border-color:#ff6600;--attributes-tag-foreground-color:#884400;--ac-body-border-color:#ddd;--figure-background:#fff}@font-face{font-family:'IBM Plex Serif';font-style:normal;font-weight:400;font-display:swap;src:local(IBM Plex Serif Regular),local(IBMPlexSerif-Regular),url(../fonts/IBMPlexSerif-Regular-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Serif';font-style:normal;font-weight:700;font-display:swap;src:local(IBM Plex Serif Bold),local(IBMPlexSerif-Bold),url(../fonts/IBMPlexSerif-Bold-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Serif';font-style:italic;font-weight:400;font-display:swap;src:local(IBM Plex Serif Italic),local(IBMPlexSerif-Italic),url(../fonts/IBMPlexSerif-Italic-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Serif';font-style:italic;font-weight:700;font-display:swap;src:local(IBM Plex Serif Bold Italic),local(IBMPlexSerif-BoldItalic),url(../fonts/IBMPlexSerif-BoldItalic-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Sans';font-style:normal;font-weight:400;font-display:swap;src:local(IBM Plex Sans Regular),local(IBMPlexSans-Regular),url(../fonts/IBMPlexSans-Regular-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Sans';font-style:normal;font-weight:700;font-display:swap;src:local(IBM Plex Sans Bold),local(IBMPlexSans-Bold),url(../fonts/IBMPlexSans-Bold-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Sans';font-style:italic;font-weight:400;font-display:swap;src:local(IBM Plex Sans Italic),local(IBMPlexSans-Italic),url(../fonts/IBMPlexSans-Italic-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Sans';font-style:italic;font-weight:700;font-display:swap;src:local(IBM Plex Sans Bold Italic),local(IBMPlexSans-BoldItalic),url(../fonts/IBMPlexSans-BoldItalic-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:400;font-display:swap;src:local(IBM Plex Mono Regular),local(IBMPlexMono-Regular),url(../fonts/IBMPlexMono-Regular-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:700;font-display:swap;src:local(IBM Plex Mono Bold),local(IBMPlexMono-Bold),url(../fonts/IBMPlexMono-Bold-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Mono';font-style:italic;font-weight:400;font-display:swap;src:local(IBM Plex Mono Italic),local(IBMPlexMono-Italic),url(../fonts/IBMPlexMono-Italic-SlashedZero.woff2) format('woff2')}@font-face{font-family:'IBM Plex Mono';font-style:italic;font-weight:700;font-display:swap;src:local(IBM Plex Mono Bold Italic),local(IBMPlexMono-BoldItalic),url(../fonts/IBMPlexMono-BoldItalic-SlashedZero.woff2) format('woff2')}html{background-color:var(--background-color)}body{display:flex;word-wrap:break-word;font-size:18px;line-height:1.5;font-family:'IBM Plex Serif',serif;font-variant-numeric:slashed-zero;padding:0;margin:0;color:var(--foreground-color)}#spec-container{padding:0 20px 1em;max-width:80rem;margin:0 auto;flex-grow:1;flex-basis:66%;box-sizing:border-box;overflow:hidden}h1.shortname{display:none}body.oldtoc{margin:0 auto}#metadata-block{margin:4em 0;padding:10px;border:1px solid #ee8421}#metadata-block h1{font-size:1.5em;margin-top:0}#metadata-block>ul{list-style-type:none;margin:0;padding:0}span[aria-hidden=true]{font-size:0;white-space:pre}a{text-decoration:none;color:var(--link-foreground-color)}a:visited{color:var(--link-foreground-color)}a:hover{text-decoration:underline;color:var(--link-hover-foreground-color)}a.e-user-code,span.e-user-code{white-space:nowrap}a.e-user-code::before,span.e-user-code::before{display:none;color:var(--annotation-foreground-color);background-color:var(--background-color);border:2pt solid var(--annotation-foreground-color);padding:.3ex;margin:0 .25em 0 0;line-height:normal;vertical-align:middle;text-transform:uppercase;font-family:'IBM Plex Sans',sans-serif;font-weight:900;font-size:x-small;content:'UC'}a.e-user-code:hover::before,span.e-user-code:hover::before{background-color:var(--annotation-foreground-color);color:var(--background-color)}html.show-uc-annotations a.e-user-code::before,html.show-uc-annotations span.e-user-code::before{display:inline-block}code{font-weight:700;font-family:'Comic Code','IBM Plex Mono',monospace;white-space:pre}pre code{font-weight:inherit}pre code.hljs{background-color:var(--background-color);margin:0;padding:0;background:0 0}ol.toc{list-style:none;padding-left:0}ol.toc ol.toc{padding-left:2ex;list-style:none}var{border-radius:5px;color:var(--var-foreground-color);transition:.25s ease-out;cursor:pointer;padding:0 4px;margin:0 -4px;mix-blend-mode:multiply}@supports (color-scheme:dark){@media only screen and (prefers-color-scheme:dark){:root{--foreground-color:#fcfcfc;--background-color:#171717;--link-foreground-color:#439de2;--link-hover-foreground-color:#80cafb;--annotation-foreground-color:brown;--var-foreground-color:#4fb6ab;--referenced0-background-color:#6d6d1e;--referenced1-background-color:#7e171c;--referenced2-background-color:#1f6211;--referenced3-background-color:#1a7a6b;--referenced4-background-color:#7b4719;--referenced5-background-color:#185870;--referenced6-background-color:#731761;--note-background-color:#1b2f1b;--note-border-color:#31a331;--note-editor-border-color:#801e1e;--nt-link-foreground-color:#d0d0d0;--production-rhs-background-color:#4d4d4d;--production-rhs-border-color:#888;--params-foreground-color:#57d0c7;--opt-foreground-color:#d8b750;--title-foreground-color:#f60;--caption-foreground-color:#b0b0b0;--table-header-background-color:#303030;--highlight-background-color-start:rgba(114, 105, 24, 1);--highlight-background-color-end:rgba(114, 105, 24, 0);--highlight-background-color:rgba(114, 105, 24, 1);--ins-background-color:#1e4a1e;--ins-border-color:#61d89b;--del-background-color:#4a1f1f;--control-foreground-color:#101010;--control-dimmed-foreground-color:#d0d0d0;--control-background-color:#202020;--control-dark-background-color:#303030;--control-border-color:#505050;--control-light-border-color:#606060;--control-shortcut-background-color:#505050;--control-shortcut-shadow-color:#000000;--control-dialog-fade-color:rgba(0, 0, 0, 0.6);--control-link-foreground-color:#7ebce9;--control-input-background-color:#606060;--control-input-border-color:#a0a0a0;--menu-header-background-color:#404040;--menu-revealed-link-foreground-color:#9bd0f7;--menu-unpin-hover-foreground-color:#f29c9c;--menu-trace-list-foreground-color:#222;--menu-trace-list-background-color:#999;--toolbox-tail-background-outside-color:rgba(0, 0, 0, 0);--toolbox-tail-border-outside-color:rgba(204, 204, 204, 0);--normative-optional-background-color:#352c24;--normative-optional-border-color:#ff6600;--attributes-tag-foreground-color:#e6a96d;--ac-body-border-color:#555;--figure-background:#fff}var{mix-blend-mode:normal}}}var.field{font:inherit;color:inherit}var.field::before{content:'\2060'}var.referenced{color:inherit}var.referenced0{background-color:var(--referenced0-background-color)}var.referenced1{background-color:var(--referenced1-background-color)}var.referenced2{background-color:var(--referenced2-background-color)}var.referenced3{background-color:var(--referenced3-background-color)}var.referenced4{background-color:var(--referenced4-background-color)}var.referenced5{background-color:var(--referenced5-background-color)}var.referenced6{background-color:var(--referenced6-background-color)}emu-const{font-family:'IBM Plex Sans',sans-serif;font-variant:small-caps;text-transform:uppercase}emu-val{font-weight:700}emu-alg li.exit::before{display:none;border:2pt solid var(--annotation-foreground-color);font-size:small;color:var(--annotation-foreground-color);padding:0 .25em;background-color:var(--background-color);content:'⏎';margin-right:.25em;line-height:15px;vertical-align:middle}html.show-early-exits emu-alg li.exit:not(emu-alg ol.ac-body > li:last-child):not(emu-alg > ol > li:last-child)::before{display:inline-block}emu-alg ol,emu-alg ol ol ol ol,emu-alg ol.nested-once ol ol,emu-alg ol.nested-thrice,emu-alg ol.nested-twice ol{list-style-type:decimal}emu-alg ol ol,emu-alg ol ol ol ol ol,emu-alg ol.nested-four-times,emu-alg ol.nested-once,emu-alg ol.nested-once ol ol ol,emu-alg ol.nested-thrice ol,emu-alg ol.nested-twice ol ol{list-style-type:lower-alpha}emu-alg ol ol ol,emu-alg ol ol ol ol ol ol,emu-alg ol.nested-four-times ol,emu-alg ol.nested-lots,emu-alg ol.nested-lots ol,emu-alg ol.nested-once ol,emu-alg ol.nested-once ol ol ol ol,emu-alg ol.nested-thrice ol ol,emu-alg ol.nested-twice,emu-alg ol.nested-twice ol ol ol{list-style-type:lower-roman}emu-alg ol.ac-body{border-left:3px solid var(--ac-body-border-color);border-radius:0 0 0 20px;padding-bottom:5px}emu-eqn{display:block;margin-left:4em}emu-eqn.inline{display:inline;margin:0}emu-eqn div:first-child{margin-left:-2em}emu-note{margin:1em 0;display:flex;gap:1em;flex-direction:row;color:inherit;border-left:5px solid var(--note-border-color);background:var(--note-background-color);padding:10px 10px 10px 0;overflow-x:auto}emu-note>span.note{white-space:nowrap;flex-grow:0;flex-shrink:1;text-transform:uppercase;padding-left:5px}emu-note[type=editor]{border-left-color:var(--note-editor-border-color)}emu-note>div.note-contents{flex-grow:1;flex-shrink:1;overflow:auto}emu-note>div.note-contents>p:first-of-type{margin-top:0}emu-note>div.note-contents>p:last-of-type{margin-bottom:0}emu-table:not(.code) td code{white-space:normal}emu-figure,emu-production{display:block}emu-example{display:block;margin:1em 3em}emu-example figure figcaption{margin-top:.5em;text-align:left}emu-example figure,emu-figure figure,emu-table figure{display:flex;flex-direction:column;align-items:center}emu-grammar[type=definition] emu-production,emu-grammar[type=example] emu-production{margin-top:1em;margin-bottom:1em;margin-left:5ex}emu-grammar.inline,emu-grammar.inline emu-production emu-rhs,emu-grammar[collapsed] emu-production emu-rhs,emu-production.inline,emu-production.inline emu-rhs,emu-production[collapsed] emu-rhs{display:inline;padding-left:.5ex;margin-left:0}emu-grammar[collapsed] emu-production,emu-production[collapsed]{margin:0}emu-constraints{font-size:.75em;margin-right:.5ex}emu-gann,emu-production emu-t,emu-rhs emu-nt{margin-right:.5ex}emu-gann emu-gprose:last-child,emu-gann emu-nt:last-child,emu-gann emu-t:last-child{margin-right:0}emu-geq{margin-left:.5ex;font-weight:700}emu-oneof{font-weight:700;margin-left:.5ex}emu-nt{display:inline;font-style:italic;white-space:nowrap;text-indent:0}emu-nt a,emu-nt a:visited{color:var(--nt-link-foreground-color)}emu-t{display:inline-block;font-family:'IBM Plex Mono',monospace;font-weight:700;white-space:nowrap;text-indent:0}emu-rhs{display:block;padding-left:75px;text-indent:-25px}emu-production:not([collapsed]) emu-rhs{border:.2ex dashed transparent}emu-production:not([collapsed]) emu-rhs:hover{border-color:var(--production-rhs-border-color);background-color:var(--production-rhs-background-color)}emu-mods{font-size:.85em;vertical-align:sub;font-style:normal;font-weight:400}emu-opt,emu-params{margin-right:1ex;font-family:'IBM Plex Mono',monospace}emu-constraints,emu-params{color:var(--params-foreground-color)}emu-opt{color:var(--opt-foreground-color)}emu-gprose{font-size:.9em;font-family:'IBM Plex Sans',sans-serif}emu-production emu-gprose{margin-right:1ex}h1.shortname{color:var(--title-foreground-color);font-size:1.5em;margin:0}h1.version{color:var(--title-foreground-color);font-size:1.5em}h1.title{color:var(--title-foreground-color)}h1,h2,h3,h4,h5,h6{position:relative}h1 .secnum{text-decoration:none;margin-right:5px}h1 span.title{order:2}h1{font-size:2.67em;margin-bottom:0;line-height:1em}emu-annex h1,emu-clause h1,emu-intro h1,h2{font-size:2em}emu-annex emu-annex h1,emu-annex h2,emu-clause emu-clause h1,emu-clause h2,emu-intro emu-intro h1,emu-intro h2,h3{font-size:1.56em}emu-annex emu-annex emu-annex h1,emu-annex emu-annex h2,emu-annex h3,emu-clause emu-clause emu-clause h1,emu-clause emu-clause h2,emu-clause h3,emu-intro emu-intro emu-intro h1,emu-intro emu-intro h2,emu-intro h3,h4{font-size:1.25em}emu-annex emu-annex emu-annex emu-annex h1,emu-annex emu-annex emu-annex h2,emu-annex emu-annex h3,emu-annex h4,emu-clause emu-clause emu-clause emu-clause h1,emu-clause emu-clause emu-clause h2,emu-clause emu-clause h3,emu-clause h4,emu-intro emu-intro emu-intro emu-intro h1,emu-intro emu-intro emu-intro h2,emu-intro emu-intro h3,emu-intro h4,h5{font-size:1.11em}emu-annex emu-annex emu-annex emu-annex emu-annex h1,emu-annex emu-annex emu-annex emu-annex h2,emu-annex emu-annex emu-annex h3,emu-annex emu-annex h4,emu-annex h5,emu-clause emu-clause emu-clause emu-clause emu-clause h1,emu-clause emu-clause emu-clause emu-clause h2,emu-clause emu-clause emu-clause h3,emu-clause emu-clause h4,emu-clause h5,emu-intro emu-intro emu-intro emu-intro emu-intro h1,emu-intro emu-intro emu-intro emu-intro h2,emu-intro emu-intro emu-intro h3,emu-intro emu-intro h4,emu-intro h5,h6{font-size:1em}emu-annex[id],emu-clause[id],emu-intro[id]{scroll-margin-top:2ex}emu-annex emu-annex emu-annex emu-annex emu-annex emu-annex h1,emu-annex emu-annex emu-annex emu-annex emu-annex h2,emu-annex emu-annex emu-annex emu-annex h3,emu-annex emu-annex emu-annex h4,emu-annex emu-annex h5,emu-annex h6,emu-clause emu-clause emu-clause emu-clause emu-clause emu-clause h1,emu-clause emu-clause emu-clause emu-clause emu-clause h2,emu-clause emu-clause emu-clause emu-clause h3,emu-clause emu-clause emu-clause h4,emu-clause emu-clause h5,emu-clause h6,emu-intro emu-intro emu-intro emu-intro emu-intro emu-intro h1,emu-intro emu-intro emu-intro emu-intro emu-intro h2,emu-intro emu-intro emu-intro emu-intro h3,emu-intro emu-intro emu-intro h4,emu-intro emu-intro h5,emu-intro h6{font-size:.9em}emu-annex,emu-clause,emu-intro{display:block;margin-top:4em}emu-annex emu-annex,emu-clause emu-clause,emu-intro emu-intro{margin-top:3.12em}emu-annex emu-annex emu-annex,emu-clause emu-clause emu-clause,emu-intro emu-intro emu-intro{margin-top:2.5em}emu-annex emu-annex emu-annex emu-annex,emu-clause emu-clause emu-clause emu-clause,emu-intro emu-intro emu-intro emu-intro{margin-top:2.22em}emu-annex emu-annex emu-annex emu-annex emu-annex,emu-clause emu-clause emu-clause emu-clause emu-clause,emu-intro emu-intro emu-intro emu-intro emu-intro{margin-top:2em}emu-annex emu-annex emu-annex emu-annex emu-annex emu-annex,emu-clause emu-clause emu-clause emu-clause emu-clause emu-clause,emu-intro emu-intro emu-intro emu-intro emu-intro emu-intro{margin-top:1.8em}#spec-container>emu-annex:first-of-type,#spec-container>emu-clause:first-of-type,#spec-container>emu-intro:first-of-type{margin-top:0}figure{display:block;overflow-x:auto;margin:1.5em 0}figure object{display:block;margin:0 auto}figure table.real-table{margin:0 auto}figure figcaption{display:block;color:var(--caption-foreground-color);font-weight:700;text-align:center}figure img{background:var(--figure-background)}emu-table table{margin:0 auto}emu-table table,table.real-table{border-collapse:collapse}emu-table td,emu-table th,table.real-table td,table.real-table th{border:1px solid var(--foreground-color);padding:.4em;vertical-align:baseline}emu-table th,emu-table thead td,table.real-table th{background-color:var(--table-header-background-color)}emu-table td{background:var(--background-color)}td[colspan]:not([colspan="1"]),th[colspan]:not([colspan="1"]){text-align:center}table.lightweight-table{border-collapse:collapse;margin:0 0 0 1.5em}table.lightweight-table td,table.lightweight-table th{border:none;padding:0 .5em;vertical-align:baseline}@keyframes highlight-target-bg{0%{background-color:var(--highlight-background-color-start)}100%{background-color:var(--highlight-background-color-end)}}#spec-container :target:not(emu-annex,emu-clause,emu-intro,emu-note,body){animation:2.5s ease-out highlight-target-bg}#spec-container :target:focus-within:not(:has(:not(a))){animation:none;background-color:var(--highlight-background-color)}ins{background-color:var(--ins-background-color);text-decoration:none;border-bottom:1px solid var(--ins-border-color)}del{background-color:var(--del-background-color)}del.block,emu-grammar>del,emu-grammar>ins,emu-production>del,emu-production>ins,ins.block{display:block}emu-rhs>del,emu-rhs>ins{display:inline}tr.ins>td>ins{border-bottom:none}tr.ins>td{background-color:var(--ins-background-color)}tr.del>td{background-color:var(--del-background-color)}#menu-toggle{font-size:2em;position:fixed;top:0;left:0;width:1.5em;height:1.5em;z-index:3;visibility:hidden;color:var(--control-link-foreground-color);background-color:var(--background-color);line-height:1.5em;text-align:center;-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;cursor:pointer}#menu{display:flex;flex-direction:column;width:33%;height:100vh;max-width:500px;box-sizing:border-box;background-color:var(--control-background-color);overflow:hidden;transition:opacity .1s linear;padding:0 5px;position:fixed;left:0;top:0;border-right:2px solid var(--control-light-border-color);z-index:2}.menu-spacer{flex-basis:33%;max-width:500px;flex-grow:0;flex-shrink:0}#menu a{color:var(--control-link-foreground-color)}#menu.active{display:flex;opacity:1;z-index:2}#menu-pins{flex-grow:1;display:none}#menu-pins.active{display:block}#menu-pins .unpin-all{border:none;background:var(--control-dark-background-color);border-radius:4px;height:18px;font-size:12px;margin:0 5px 0 10px;font-family:'IBM Plex Sans',sans-serif}#menu-pins .unpin-all:hover{background:var(--control-background-color)}#menu-pins-list{margin:0;padding:0;counter-reset:pins-counter}#menu-pins-list>li{display:flex;align-items:stretch;gap:4px;margin:3px 1px;border-radius:4px}#menu-pins-list>li>a{flex-grow:1;align-self:center}#menu-pins-list>li::before,#menu-pins-list>li>.unpin{flex-shrink:0;flex-grow:0;text-align:center;padding:1px 3px;border-radius:4px;background:0 0;border:none}#menu-pins-list>li::before,#menu-pins-list>li>.unpin:hover{background:var(--control-dark-background-color)}#menu-pins .unpin-all,#menu-pins-list>li>.unpin{cursor:pointer;color:var(--foreground-color)}#menu-pins .unpin-all:hover,#menu-pins-list>li>.unpin:hover{color:var(--menu-unpin-hover-foreground-color)}#menu-pins-list>li::before{content:counter(pins-counter);counter-increment:pins-counter;font-size:16px}#menu-toc>ol{flex-grow:1}#menu-toc>ol li{padding:0}#menu-toc>ol,#menu-toc>ol ol{list-style-type:none;margin:0;padding:0}#menu-toc>ol ol{padding-left:.75em}#menu-toc li{text-overflow:ellipsis;overflow:hidden;white-space:nowrap}#menu-toc .item-toggle{display:inline-block;transform:rotate(0);transition:transform .1s;background:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxMC42MDUiIGhlaWdodD0iMTUuNTU1Ij48cGF0aCBmaWxsPSIjODg5IiBkPSJtMi44MjggMTUuNTU1IDcuNzc3LTcuNzc5TDIuODI4IDAgMCAyLjgyOGw0Ljk0OSA0Ljk0OEwwIDEyLjcyN2wyLjgyOCAyLjgyOHoiLz48L3N2Zz4) center/auto 50% no-repeat;text-align:center;width:1em;color:transparent;-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;cursor:pointer}#menu-toc .item-toggle-none{display:inline-block;width:1em}#menu-toc li.active>.item-toggle,#menu-toc li.revealed>.item-toggle{transform:rotate(90deg)}#menu-toc li>ol{display:none}#menu-toc li.active>ol{display:block}#menu-toc li.revealed>a{background-color:var(--control-dark-background-color);font-weight:700}#menu-toc li.revealed-leaf>a{color:var(--menu-revealed-link-foreground-color)}#menu-toc li.revealed>ol{display:block}#menu-toc li>a{padding:2px 5px}#menu>*{margin-bottom:5px}.menu-pane-header{padding:2px 8px;background-color:var(--menu-header-background-color);font-weight:700;letter-spacing:1px;flex-grow:0;flex-shrink:0;font-size:80%;user-select:none}.menu-pane-header emu-nt,.menu-pane-header emu-opt,.menu-pane-header emu-t{margin-right:0;display:inline;color:inherit}.menu-pane-header emu-rhs{display:inline;padding-left:0;text-indent:0}.menu-pane-header emu-geq{margin-left:0}.menu-pane-header a{color:var(--control-link-foreground-color)}a.menu-pane-header-production{color:inherit}.menu-pane-header-production{text-transform:none;letter-spacing:1.5px;padding-left:.5em}#menu-toc{display:flex;flex-direction:column;width:100%;overflow:hidden;flex-grow:1}#menu-toc ol.toc{overflow-x:hidden;overflow-y:auto}#menu-search{position:relative;flex-grow:0;flex-shrink:0;width:100%;display:flex;flex-direction:column;max-height:300px}#menu-trace-list{display:none;counter-reset:item;margin:0 0 0 20px;padding:0}#menu-search-box{box-sizing:border-box;display:block;width:100%;margin:5px 0 0;font-size:1em;padding:2px;color:var(--foreground-color);background-color:var(--control-input-background-color);border:1px solid var(--control-input-border-color)}#menu-search-results{overflow-x:hidden;overflow-y:auto}li.menu-search-result-clause::before{content:'clause';width:40px;display:inline-block;text-align:right;padding-right:1ex;color:var(--control-dimmed-foreground-color);font-size:75%}li.menu-search-result-op::before{content:'op';width:40px;display:inline-block;text-align:right;padding-right:1ex;color:var(--control-dimmed-foreground-color);font-size:75%}li.menu-search-result-prod::before{content:'prod';width:40px;display:inline-block;text-align:right;padding-right:1ex;color:var(--control-dimmed-foreground-color);font-size:75%}li.menu-search-result-term::before{content:'term';width:40px;display:inline-block;text-align:right;padding-right:1ex;color:var(--control-dimmed-foreground-color);font-size:75%}#menu-search-results ul{padding:0 5px;margin:0}#menu-search-results li{white-space:nowrap;text-overflow:ellipsis}#menu-trace-list li{display:block;white-space:nowrap}#menu-trace-list li .secnum::after{content:' '}#menu-trace-list li::before{content:counter(item) ' ';background-color:var(--menu-trace-list-background-color);counter-increment:item;color:var(--menu-trace-list-foreground-color);width:20px;height:20px;line-height:20px;display:inline-block;text-align:center;margin:2px 4px 2px 0}@media (max-width:1000px){body{margin:0;display:block}#menu{display:none;padding-top:3em;width:450px}#menu.active{position:fixed;height:100%;left:0;top:0;right:300px}#menu-toggle{visibility:visible}#spec-container{padding:0 5px}#references-pane-spacer{display:none}}@media only screen and (max-width:800px){#menu{width:100%}h1 .secnum:empty{margin:0;padding:0}}.toolbox-container{position:absolute;display:none;padding-bottom:7px}.toolbox-container.active{display:inline-block}.toolbox{position:relative;background:var(--control-background-color);border:1px solid var(--control-border-color);color:var(--control-foreground-color);padding:5px 7px;border-radius:3px}.toolbox a{text-decoration:none;padding:0 3px;white-space:nowrap}.toolbox a:hover{text-decoration:underline}.toolbox::after,.toolbox::before{top:100%;left:15px;border:solid transparent;content:' ';height:0;width:0;position:absolute;pointer-events:none}.toolbox::after{border-color:var(--toolbox-tail-background-outside-color);border-top-color:var(--control-background-color);border-width:10px;margin-left:-10px}.toolbox::before{border-color:var(--toolbox-tail-border-outside-color);border-top-color:var(--control-border-color);border-width:12px;margin-left:-12px}#references-pane-container{position:fixed;bottom:0;left:0;right:0;display:none;background-color:var(--control-background-color);z-index:1}#references-pane-table-container{overflow-x:hidden;overflow-y:auto;min-height:35px;max-height:85vh}#references-pane{flex-grow:1;overflow:hidden;display:flex;flex-direction:column}#references-pane>.menu-pane-header{cursor:row-resize}#references-pane-container.active{display:flex}#references-pane-close::after{content:'\2716';float:right;cursor:pointer}#references-pane table tbody{vertical-align:baseline}#references-pane table tr td:first-child{text-align:right;padding-right:5px}[deprecated],[legacy],[normative-optional]{border-left:5px solid var(--normative-optional-border-color);background:var(--normative-optional-background-color)}:is([normative-optional],[deprecated],[legacy]):not(ul,ol,span){padding:.5em}.attributes-tag{text-transform:uppercase;color:var(--attributes-tag-foreground-color)}.attributes-tag a{color:var(--attributes-tag-foreground-color)}#shortcuts-help{position:fixed;left:5%;margin:0 auto;right:5%;z-index:10;top:10%;top:calc(5vw + 5vh);padding:30px 90px;max-width:500px;outline:solid 10000px var(--control-dialog-fade-color);border-radius:5px;border-width:1px 1px 0;background-color:var(--control-background-color);display:none}#shortcuts-help.active{display:block}#shortcuts-help ul{padding:0}#shortcuts-help li{display:flex;justify-content:space-between}#shortcuts-help code{padding:3px 10px;border-radius:3px;border-width:1px 1px 0;border-color:var(--control-light-border-color);background-color:var(--control-shortcut-background-color);box-shadow:inset 0 -1px 0 var(--control-shortcut-shadow-color)}#ecma-logo{background:var(--figure-background);width:500px}