├── .gitattributes
├── .github
    └── workflows
    │   └── build.yml
├── .gitignore
├── .npmrc
├── LICENSE
├── README.md
├── index.html
├── package.json
└── spec.emu


/.gitattributes:
--------------------------------------------------------------------------------
1 | index.html  -diff merge=ours
2 | spec.js     -diff merge=ours
3 | spec.css    -diff merge=ours
4 | 


--------------------------------------------------------------------------------
/.github/workflows/build.yml:
--------------------------------------------------------------------------------
 1 | name: Deploy spec
 2 | 
 3 | on: [push]
 4 | 
 5 | jobs:
 6 |   build:
 7 |     runs-on: ubuntu-latest
 8 | 
 9 |     steps:
10 |     - uses: actions/checkout@v2
11 |     - uses: actions/setup-node@v1
12 |       with:
13 |         node-version: '12.x'
14 |     - run: npm install
15 |     - run: npm run build
16 |     - name: commit changes
17 |       uses: elstudio/actions-js-build/commit@v3
18 |       with:
19 |         commitMessage: "fixup: [spec] `npm run build`"
20 | 


--------------------------------------------------------------------------------
/.gitignore:
--------------------------------------------------------------------------------
 1 | # Logs
 2 | logs
 3 | *.log
 4 | npm-debug.log*
 5 | 
 6 | # Runtime data
 7 | pids
 8 | *.pid
 9 | *.seed
10 | 
11 | # Directory for instrumented libs generated by jscoverage/JSCover
12 | lib-cov
13 | 
14 | # Coverage directory used by tools like istanbul
15 | coverage
16 | 
17 | # nyc test coverage
18 | .nyc_output
19 | 
20 | # Grunt intermediate storage (http://gruntjs.com/creating-plugins#storing-task-files)
21 | .grunt
22 | 
23 | # node-waf configuration
24 | .lock-wscript
25 | 
26 | # Compiled binary addons (http://nodejs.org/api/addons.html)
27 | build/Release
28 | 
29 | # Dependency directories
30 | node_modules
31 | jspm_packages
32 | 
33 | # Optional npm cache directory
34 | .npm
35 | 
36 | # Optional REPL history
37 | .node_repl_history
38 | 
39 | # Only apps should have lockfiles
40 | yarn.lock
41 | package-lock.json
42 | npm-shrinkwrap.json
43 | pnpm-lock.yaml
44 | 


--------------------------------------------------------------------------------
/.npmrc:
--------------------------------------------------------------------------------
1 | package-lock=false
2 | 


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
 1 | MIT License
 2 | 
 3 | Copyright (c) 2017 ECMA TC39 and contributors
 4 | 
 5 | Permission is hereby granted, free of charge, to any person obtaining a copy
 6 | of this software and associated documentation files (the "Software"), to deal
 7 | in the Software without restriction, including without limitation the rights
 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 9 | copies of the Software, and to permit persons to whom the Software is
10 | furnished to do so, subject to the following conditions:
11 | 
12 | The above copyright notice and this permission notice shall be included in all
13 | copies or substantial portions of the Software.
14 | 
15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21 | SOFTWARE.
22 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
  1 | # Proposal for `a[^i]` syntax
  2 | 
  3 | A JavaScript proposal to add `a[^i]` syntax for `a[a.length - i]`
  4 | 
  5 | Stage: 0
  6 | 
  7 | Champions: HE Shi-Jun (hax)
  8 | 
  9 | ## Rationale
 10 | 
 11 | For many years, programmers have asked for the ability to do "negative indexing" of JS Arrays, like you can do with Python. That is, asking for the ability to write `arr[-1]` instead of `arr[arr.length-1]`, where negative numbers count backwards from the last element.
 12 | 
 13 | Unfortunately, JS's language design makes this impossible. The `[]` syntax is not specific to Arrays and Strings; it applies to all objects. Referring to a value by index, like `arr[1]`, actually just refers to the property of the object with the key "1", which is something that any object can have. So `arr[-1]` already "works" in today's code, but it returns the value of the "-1" property of the object, rather than returning an index counting back from the end.
 14 | 
 15 | This proposal suggests adding a `arr[^N]` syntax (follow the prior art of C#), which just work as `arr[arr.length - N]`, with the semantics as described above.
 16 | 
 17 | ## Examples
 18 | 
 19 | ```js
 20 | let a = [1, 2, 3, 4]
 21 | a[^1] // 4
 22 | ++a[^1] // 5
 23 | a[^0] // a[4], undefined
 24 | a[^0] = 10
 25 | a // [1, 2, 3, 5, 10]
 26 | ```
 27 | 
 28 | ## Semantics
 29 | 
 30 | `a[^i]` work as `a[CalcIndexFromEnd(a, i)]`.
 31 | 
 32 | ```js
 33 | function CalcIndexFromEnd(a, i) {
 34 |   // TBD: how to handle non-index cases? [1]
 35 |   return LengthOfArrayLike(a) - Number(i)
 36 | }
 37 | ```
 38 | [1] See [#5](https://github.com/hax/proposal-index-from-end/issues/5)
 39 | 
 40 | Note, `a[^i]` will have two Get operations on `a` which the first is accessing `a.length`. And `a[^i] += 1` only access `a.length` once.
 41 | 
 42 | ## Transpiling
 43 | 
 44 | ```js
 45 | // x = EXPR[^N]
 46 | // ->
 47 | x = ((a, n) => a[CalcIndexFromEnd(a, n)])(EXPR, N)
 48 | ```
 49 | 
 50 | ```js
 51 | // EXPR[^N] = VALUE
 52 | // ->
 53 | ((a, n, v) => (a[CalcIndexFromEnd(a, n)] = v))(EXPR, N, VALUE)
 54 | ```
 55 | 
 56 | ## Comparison of `arr[^N]` to `arr[arr.length - N]`
 57 | 
 58 | Currently, to access a value from the end of an indexable object, the common practice is to write `arr[arr.length - N]`, where N is the Nth item from the end.  This requires naming the indexable twice, additionally adds 7 more characters for the `.length`, and is hostile to anonymous values; you can't use this technique to grab the last item of the return value of a function unless you first store it in a temp variable.
 59 | 
 60 | ## Comparison of `arr[^N]` to `arr.at(-N)`
 61 | 
 62 | ### Generality
 63 | 
 64 | `arr[^N]` work for both read and write.
 65 | 
 66 | `.at()` only applies to read.
 67 | 
 68 | `arr[^N]` work for everything which is Array Like.
 69 | 
 70 | `.at()` only applies to Array, TypedArray, String.
 71 | 
 72 | ### Ergonomics
 73 | 
 74 | Similar, though `arr[^N]` is 3 chars shorter than `arr.at(-N)`
 75 | 
 76 | ### Learning, understanding and memory cost
 77 | 
 78 | `arr[^N]` could be think as pure syntax sugar, so every JS programmers could learn it in 1 minute.
 79 | 
 80 | `.at()` looks also easy, but in real programming there are much things to consider, need to RTFM:
 81 | - Which objects have the `at()` method? Does strings have it? Does DOM collections have it?
 82 | - Does `.at()` throw or return `undefined` for out of range index?
 83 | - Is `string.at()` codepoint safe?
 84 | - What `.at(-0)` means?
 85 | - etc.
 86 | 
 87 | ### Adoption cost
 88 | 
 89 | Similar, `arr[^N]` need transpiling but no runtime polyfill; `.at()` need no transpiling but runtime polyfill.
 90 | 
 91 | ### Relation to other proposals
 92 | 
 93 | `arr[^N]` could be extended to slice notation: `arr[0:^N]` (drop last N items), `arr[^N:^0]` (take last N items), which solve the block issue (syntax/semantic inconsitency of `a[-1]` with `a[0:-1]`) of slice notation.
 94 | 
 95 | ### Edge case
 96 | 
 97 | Note, `^N` always means `arr.length - N`, so if `N` is 0, it means `arr.length`, as programmer expect. On the other side, `a.at(-N)` and `a.slice(-N)` have the edge case of `-0` which behave same as `0`, it's very likely not programmers expect and error-prone. This edge case is very common in `slice` usage, but may also affect `at`, for example code `if (arr.at(-N) !== undefined) ...`.
 98 | 
 99 | See the discussions of `-0` edge case in various places:
100 | 
101 | - https://github.com/rust-lang/rfcs/issues/2249#issuecomment-352128826
102 | - https://stackoverflow.com/questions/39460528/in-string-prototype-slice-should-slice0-0-and-slice0-0-output-the-sam/39461147
103 | - https://stackoverflow.com/questions/31740252/when-use-negative-number-to-slice-a-string-in-python-0-is-disabled?noredirect=1&lq=1
104 | - https://bytes.com/topic/python/answers/504522-string-negative-indices
105 | - https://tesarek.me/articles/slicing-primer#indexing
106 | - https://open.cs.uwaterloo.ca/python-from-scratch/2/9/transcript
107 | - https://news.ycombinator.com/item?id=13186225
108 | 
109 | 
110 | ## FAQ
111 | 
112 | ### Why `^i` syntax is not 0-based but 1-based?
113 | 
114 | To get the last element, you should use `a[^1]`. But it's still 0-based, and `^0` means the end position of the indexed collection (aka. the value of the `length` property). This make `a[^i]` be a better version of `a.at(-i)` or `a[a.length - i]`, and fit for slice notation proposal. See [the discussion](https://github.com/hax/proposal-index-from-end/issues/3#issuecomment-766686344) for more information.
115 | 
116 | ## Prior arts
117 | 
118 | ### C# 8 `^fromEnd` (*index from end* operator)
119 | - https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/proposals/csharp-8.0/ranges#systemindex
120 | - https://stackoverflow.com/questions/54092458/why-doesnt-the-new-hat-operator-index-from-the-c-sharp-8-array-slicing-feature/54092520
121 | - https://www.reddit.com/r/csharp/comments/arknnk/c_8_introducing_index_struct_and_a_brand_new/
122 | 
123 | ### D `a[$-1]`
124 | 
125 | - https://dlang.org/spec/arrays.html#array-length
126 | - https://dlang.org/spec/operatoroverloading.html#dollar
127 | 
128 | ### Raku (formerly Perl 6) drop Perl's `@a[-i]` and introduce `@a[*-i]` 
129 | - https://docs.raku.org/language/traps#Referencing_the_last_element_of_an_array
130 | - https://docs.raku.org/language/subscripts#From_the_end
131 | - https://design.raku.org/S09.html#Negative_and_differential_subscripts
132 | 


--------------------------------------------------------------------------------
/index.html:
--------------------------------------------------------------------------------
   1 | <!doctype html>
   2 | <head><meta charset="utf-8">
   3 | <link rel="stylesheet" href="./spec.css">
   4 | <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css">
   5 | <script src="./spec.js"></script>
   6 | <title>Proposal Title Goes Here</title><script type="application/json" id="menu-search-biblio">[{"type":"clause","id":"sec-demo-clause","aoid":null,"title":"This is an emu-clause","titleHTML":"This is an emu-clause","number":"1","namespace":"<no location>","location":"","referencingIds":[],"key":"This is an emu-clause"},{"type":"clause","id":"sec-copyright-and-software-license","aoid":null,"title":"Copyright & Software License","titleHTML":"Copyright &amp; Software License","number":"A","namespace":"<no location>","location":"","referencingIds":[],"key":"Copyright & Software License"}]</script><script>"use strict";
   7 | 
   8 | function Search(menu) {
   9 |   this.menu = menu;
  10 |   this.$search = document.getElementById('menu-search');
  11 |   this.$searchBox = document.getElementById('menu-search-box');
  12 |   this.$searchResults = document.getElementById('menu-search-results');
  13 | 
  14 |   this.loadBiblio();
  15 | 
  16 |   document.addEventListener('keydown', this.documentKeydown.bind(this));
  17 | 
  18 |   this.$searchBox.addEventListener('keydown', debounce(this.searchBoxKeydown.bind(this), { stopPropagation: true }));
  19 |   this.$searchBox.addEventListener('keyup', debounce(this.searchBoxKeyup.bind(this), { stopPropagation: true }));
  20 | 
  21 |   // Perform an initial search if the box is not empty.
  22 |   if (this.$searchBox.value) {
  23 |     this.search(this.$searchBox.value);
  24 |   }
  25 | }
  26 | 
  27 | Search.prototype.loadBiblio = function () {
  28 |   var $biblio = document.getElementById('menu-search-biblio');
  29 |   if (!$biblio) {
  30 |     this.biblio = [];
  31 |   } else {
  32 |     this.biblio = JSON.parse($biblio.textContent);
  33 |     this.biblio.clauses = this.biblio.filter(function (e) { return e.type === 'clause' });
  34 |     this.biblio.byId = this.biblio.reduce(function (map, entry) {
  35 |       map[entry.id] = entry;
  36 |       return map;
  37 |     }, {});
  38 |   }
  39 | }
  40 | 
  41 | Search.prototype.documentKeydown = function (e) {
  42 |   if (e.keyCode === 191) {
  43 |     e.preventDefault();
  44 |     e.stopPropagation();
  45 |     this.triggerSearch();
  46 |   }
  47 | }
  48 | 
  49 | Search.prototype.searchBoxKeydown = function (e) {
  50 |   e.stopPropagation();
  51 |   e.preventDefault();
  52 |   if (e.keyCode === 191 && e.target.value.length === 0) {
  53 |     e.preventDefault();
  54 |   } else if (e.keyCode === 13) {
  55 |     e.preventDefault();
  56 |     this.selectResult();
  57 |   }
  58 | }
  59 | 
  60 | Search.prototype.searchBoxKeyup = function (e) {
  61 |   if (e.keyCode === 13 || e.keyCode === 9) {
  62 |     return;
  63 |   }
  64 | 
  65 |   this.search(e.target.value);
  66 | }
  67 | 
  68 | 
  69 | Search.prototype.triggerSearch = function (e) {
  70 |   if (this.menu.isVisible()) {
  71 |     this._closeAfterSearch = false;
  72 |   } else {
  73 |     this._closeAfterSearch = true;
  74 |     this.menu.show();
  75 |   }
  76 | 
  77 |   this.$searchBox.focus();
  78 |   this.$searchBox.select();
  79 | }
  80 | // bit 12 - Set if the result starts with searchString
  81 | // bits 8-11: 8 - number of chunks multiplied by 2 if cases match, otherwise 1.
  82 | // bits 1-7: 127 - length of the entry
  83 | // General scheme: prefer case sensitive matches with fewer chunks, and otherwise
  84 | // prefer shorter matches.
  85 | function relevance(result, searchString) {
  86 |   var relevance = 0;
  87 | 
  88 |   relevance = Math.max(0, 8 - result.match.chunks) << 7;
  89 | 
  90 |   if (result.match.caseMatch) {
  91 |     relevance *= 2;
  92 |   }
  93 | 
  94 |   if (result.match.prefix) {
  95 |     relevance += 2048
  96 |   }
  97 | 
  98 |   relevance += Math.max(0, 255 - result.entry.key.length);
  99 | 
 100 |   return relevance;
 101 | }
 102 | 
 103 | Search.prototype.search = function (searchString) {
 104 |   if (searchString === '') {
 105 |     this.displayResults([]);
 106 |     this.hideSearch();
 107 |     return;
 108 |   } else {
 109 |     this.showSearch();
 110 |   }
 111 | 
 112 |   if (searchString.length === 1) {
 113 |     this.displayResults([]);
 114 |     return;
 115 |   }
 116 | 
 117 |   var results;
 118 | 
 119 |   if (/^[\d\.]*$/.test(searchString)) {
 120 |     results = this.biblio.clauses.filter(function (clause) {
 121 |       return clause.number.substring(0, searchString.length) === searchString;
 122 |     }).map(function (clause) {
 123 |       return { entry: clause };
 124 |     });
 125 |   } else {
 126 |     results = [];
 127 | 
 128 |     for (var i = 0; i < this.biblio.length; i++) {
 129 |       var entry = this.biblio[i];
 130 |       if (!entry.key) {
 131 |         // biblio entries without a key aren't searchable
 132 |         continue;
 133 |       }
 134 | 
 135 |       var match = fuzzysearch(searchString, entry.key);
 136 |       if (match) {
 137 |         results.push({ entry: entry, match: match });
 138 |       }
 139 |     }
 140 | 
 141 |     results.forEach(function (result) {
 142 |       result.relevance = relevance(result, searchString);
 143 |     });
 144 | 
 145 |     results = results.sort(function (a, b) { return b.relevance - a.relevance });
 146 | 
 147 |   }
 148 | 
 149 |   if (results.length > 50) {
 150 |     results = results.slice(0, 50);
 151 |   }
 152 | 
 153 |   this.displayResults(results);
 154 | }
 155 | Search.prototype.hideSearch = function () {
 156 |   this.$search.classList.remove('active');
 157 | }
 158 | 
 159 | Search.prototype.showSearch = function () {
 160 |   this.$search.classList.add('active');
 161 | }
 162 | 
 163 | Search.prototype.selectResult = function () {
 164 |   var $first = this.$searchResults.querySelector('li:first-child a');
 165 | 
 166 |   if ($first) {
 167 |     document.location = $first.getAttribute('href');
 168 |   }
 169 | 
 170 |   this.$searchBox.value = '';
 171 |   this.$searchBox.blur();
 172 |   this.displayResults([]);
 173 |   this.hideSearch();
 174 | 
 175 |   if (this._closeAfterSearch) {
 176 |     this.menu.hide();
 177 |   }
 178 | }
 179 | 
 180 | Search.prototype.displayResults = function (results) {
 181 |   if (results.length > 0) {
 182 |     this.$searchResults.classList.remove('no-results');
 183 | 
 184 |     var html = '<ul>';
 185 | 
 186 |     results.forEach(function (result) {
 187 |       var entry = result.entry;
 188 |       var id = entry.id;
 189 |       var cssClass = '';
 190 |       var text = '';
 191 | 
 192 |       if (entry.type === 'clause') {
 193 |         var number = entry.number ? entry.number + ' ' : '';
 194 |         text = number + entry.key;
 195 |         cssClass = 'clause';
 196 |         id = entry.id;
 197 |       } else if (entry.type === 'production') {
 198 |         text = entry.key;
 199 |         cssClass = 'prod';
 200 |         id = entry.id;
 201 |       } else if (entry.type === 'op') {
 202 |         text = entry.key;
 203 |         cssClass = 'op';
 204 |         id = entry.id || entry.refId;
 205 |       } else if (entry.type === 'term') {
 206 |         text = entry.key;
 207 |         cssClass = 'term';
 208 |         id = entry.id || entry.refId;
 209 |       }
 210 | 
 211 |       if (text) {
 212 |         html += '<li class=menu-search-result-' + cssClass + '><a href="#' + id + '">' + text + '</a></li>';
 213 |       }
 214 |     });
 215 | 
 216 |     html += '</ul>'
 217 | 
 218 |     this.$searchResults.innerHTML = html;
 219 |   } else {
 220 |     this.$searchResults.innerHTML = '';
 221 |     this.$searchResults.classList.add('no-results');
 222 |   }
 223 | }
 224 | 
 225 | 
 226 | function Menu() {
 227 |   this.$toggle = document.getElementById('menu-toggle');
 228 |   this.$menu = document.getElementById('menu');
 229 |   this.$toc = document.querySelector('menu-toc > ol');
 230 |   this.$pins = document.querySelector('#menu-pins');
 231 |   this.$pinList = document.getElementById('menu-pins-list');
 232 |   this.$toc = document.querySelector('#menu-toc > ol');
 233 |   this.$specContainer = document.getElementById('spec-container');
 234 |   this.search = new Search(this);
 235 | 
 236 |   this._pinnedIds = {}; 
 237 |   this.loadPinEntries();
 238 | 
 239 |   // toggle menu
 240 |   this.$toggle.addEventListener('click', this.toggle.bind(this));
 241 | 
 242 |   // keydown events for pinned clauses
 243 |   document.addEventListener('keydown', this.documentKeydown.bind(this));
 244 | 
 245 |   // toc expansion
 246 |   var tocItems = this.$menu.querySelectorAll('#menu-toc li');
 247 |   for (var i = 0; i < tocItems.length; i++) {
 248 |     var $item = tocItems[i];
 249 |     $item.addEventListener('click', function($item, event) {
 250 |       $item.classList.toggle('active');
 251 |       event.stopPropagation();
 252 |     }.bind(null, $item));
 253 |   }
 254 | 
 255 |   // close toc on toc item selection
 256 |   var tocLinks = this.$menu.querySelectorAll('#menu-toc li > a');
 257 |   for (var i = 0; i < tocLinks.length; i++) {
 258 |     var $link = tocLinks[i];
 259 |     $link.addEventListener('click', function(event) {
 260 |       this.toggle();
 261 |       event.stopPropagation();
 262 |     }.bind(this));
 263 |   }
 264 | 
 265 |   // update active clause on scroll
 266 |   window.addEventListener('scroll', debounce(this.updateActiveClause.bind(this)));
 267 |   this.updateActiveClause();
 268 | 
 269 |   // prevent menu scrolling from scrolling the body
 270 |   this.$toc.addEventListener('wheel', function (e) {
 271 |     var target = e.currentTarget;
 272 |     var offTop = e.deltaY < 0 && target.scrollTop === 0;
 273 |     if (offTop) {
 274 |       e.preventDefault();
 275 |     }
 276 |     var offBottom = e.deltaY > 0
 277 |                     && target.offsetHeight + target.scrollTop >= target.scrollHeight;
 278 | 
 279 |     if (offBottom) {
 280 |       e.preventDefault();
 281 |     }
 282 |   });
 283 | }
 284 | 
 285 | Menu.prototype.documentKeydown = function (e) {
 286 |   e.stopPropagation();
 287 |   if (e.keyCode === 80) {
 288 |     this.togglePinEntry();
 289 |   } else if (e.keyCode > 48 && e.keyCode < 58) {
 290 |     this.selectPin(e.keyCode - 49);
 291 |   }
 292 | }
 293 | 
 294 | Menu.prototype.updateActiveClause = function () {
 295 |   this.setActiveClause(findActiveClause(this.$specContainer))
 296 | }
 297 | 
 298 | Menu.prototype.setActiveClause = function (clause) {
 299 |   this.$activeClause = clause;
 300 |   this.revealInToc(this.$activeClause);
 301 | }
 302 | 
 303 | Menu.prototype.revealInToc = function (path) {
 304 |   var current = this.$toc.querySelectorAll('li.revealed');
 305 |   for (var i = 0; i < current.length; i++) {
 306 |     current[i].classList.remove('revealed');
 307 |     current[i].classList.remove('revealed-leaf');
 308 |   }
 309 | 
 310 |   var current = this.$toc;
 311 |   var index = 0;
 312 |   while (index < path.length) {
 313 |     var children = current.children;
 314 |     for (var i = 0; i < children.length; i++) {
 315 |       if ('#' + path[index].id === children[i].children[1].getAttribute('href') ) {
 316 |         children[i].classList.add('revealed');
 317 |         if (index === path.length - 1) {
 318 |           children[i].classList.add('revealed-leaf');
 319 |           var rect = children[i].getBoundingClientRect();
 320 |           // this.$toc.getBoundingClientRect().top;
 321 |           var tocRect = this.$toc.getBoundingClientRect();
 322 |           if (rect.top + 10 > tocRect.bottom) {
 323 |             this.$toc.scrollTop = this.$toc.scrollTop + (rect.top - tocRect.bottom) + (rect.bottom - rect.top);
 324 |           } else if (rect.top < tocRect.top) {
 325 |             this.$toc.scrollTop = this.$toc.scrollTop - (tocRect.top - rect.top);
 326 |           }
 327 |         }
 328 |         current = children[i].querySelector('ol');
 329 |         index++;
 330 |         break;
 331 |       }
 332 |     }
 333 | 
 334 |   }
 335 | }
 336 | 
 337 | function findActiveClause(root, path) {
 338 |   var clauses = new ClauseWalker(root);
 339 |   var $clause;
 340 |   var path = path || [];
 341 | 
 342 |   while ($clause = clauses.nextNode()) {
 343 |     var rect = $clause.getBoundingClientRect();
 344 |     var $header = $clause.querySelector("h1");
 345 |     var marginTop = parseInt(getComputedStyle($header)["margin-top"]);
 346 | 
 347 |     if ((rect.top - marginTop) <= 0 && rect.bottom > 0) {
 348 |       return findActiveClause($clause, path.concat($clause)) || path;
 349 |     }
 350 |   }
 351 | 
 352 |   return path;
 353 | }
 354 | 
 355 | function ClauseWalker(root) {
 356 |   var previous;
 357 |   var treeWalker = document.createTreeWalker(
 358 |     root,
 359 |     NodeFilter.SHOW_ELEMENT,
 360 |     {
 361 |       acceptNode: function (node) {
 362 |         if (previous === node.parentNode) {
 363 |           return NodeFilter.FILTER_REJECT;
 364 |         } else {
 365 |           previous = node;
 366 |         }
 367 |         if (node.nodeName === 'EMU-CLAUSE' || node.nodeName === 'EMU-INTRO' || node.nodeName === 'EMU-ANNEX') {
 368 |           return NodeFilter.FILTER_ACCEPT;
 369 |         } else {
 370 |           return NodeFilter.FILTER_SKIP;
 371 |         }
 372 |       }
 373 |     },
 374 |     false
 375 |     );
 376 | 
 377 |   return treeWalker;
 378 | }
 379 | 
 380 | Menu.prototype.toggle = function () {
 381 |   this.$menu.classList.toggle('active');
 382 | }
 383 | 
 384 | Menu.prototype.show = function () {
 385 |   this.$menu.classList.add('active');
 386 | }
 387 | 
 388 | Menu.prototype.hide = function () {
 389 |   this.$menu.classList.remove('active');
 390 | }
 391 | 
 392 | Menu.prototype.isVisible = function() {
 393 |   return this.$menu.classList.contains('active');
 394 | }
 395 | 
 396 | Menu.prototype.showPins = function () {
 397 |   this.$pins.classList.add('active');
 398 | }
 399 | 
 400 | Menu.prototype.hidePins = function () {
 401 |   this.$pins.classList.remove('active');
 402 | }
 403 | 
 404 | Menu.prototype.addPinEntry = function (id) {
 405 |   var entry = this.search.biblio.byId[id];
 406 |   if (!entry) {
 407 |     // id was deleted after pin (or something) so remove it
 408 |     delete this._pinnedIds[id];
 409 |     this.persistPinEntries();
 410 |     return;
 411 |   }
 412 | 
 413 |   if (entry.type === 'clause') {
 414 |     var prefix;
 415 |     if (entry.number) {
 416 |       prefix = entry.number + ' ';
 417 |     } else {
 418 |       prefix = '';
 419 |     }
 420 |     this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + prefix + entry.titleHTML + '</a></li>';
 421 |   } else {
 422 |     this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + entry.key + '</a></li>';
 423 |   }
 424 | 
 425 |   if (Object.keys(this._pinnedIds).length === 0) {
 426 |     this.showPins();
 427 |   }
 428 |   this._pinnedIds[id] = true;
 429 |   this.persistPinEntries();
 430 | }
 431 | 
 432 | Menu.prototype.removePinEntry = function (id) {
 433 |   var item = this.$pinList.querySelector('a[href="#' + id + '"]').parentNode;
 434 |   this.$pinList.removeChild(item);
 435 |   delete this._pinnedIds[id];
 436 |   if (Object.keys(this._pinnedIds).length === 0) {
 437 |     this.hidePins();
 438 |   }
 439 | 
 440 |   this.persistPinEntries();
 441 | }
 442 | 
 443 | Menu.prototype.persistPinEntries = function () {
 444 |   try {
 445 |     if (!window.localStorage) return;
 446 |   } catch (e) {
 447 |     return;
 448 |   }
 449 | 
 450 |   localStorage.pinEntries = JSON.stringify(Object.keys(this._pinnedIds));
 451 | }
 452 | 
 453 | Menu.prototype.loadPinEntries = function () {
 454 |   try {
 455 |     if (!window.localStorage) return;
 456 |   } catch (e) {
 457 |     return;
 458 |   }
 459 | 
 460 |   var pinsString = window.localStorage.pinEntries;
 461 |   if (!pinsString) return;
 462 |   var pins = JSON.parse(pinsString);
 463 |   for(var i = 0; i < pins.length; i++) {
 464 |     this.addPinEntry(pins[i]);
 465 |   }
 466 | }
 467 | 
 468 | Menu.prototype.togglePinEntry = function (id) {
 469 |   if (!id) {
 470 |     id = this.$activeClause[this.$activeClause.length - 1].id;
 471 |   }
 472 | 
 473 |   if (this._pinnedIds[id]) {
 474 |     this.removePinEntry(id);
 475 |   } else {
 476 |     this.addPinEntry(id);
 477 |   }
 478 | }
 479 | 
 480 | Menu.prototype.selectPin = function (num) {
 481 |   document.location = this.$pinList.children[num].children[0].href;
 482 | }
 483 | 
 484 | var menu;
 485 | function init() {
 486 |   menu = new Menu();
 487 |   var $container = document.getElementById('spec-container');
 488 |   $container.addEventListener('mouseover', debounce(function (e) {
 489 |     Toolbox.activateIfMouseOver(e);
 490 |   }));
 491 |   document.addEventListener('keydown', debounce(function (e) {
 492 |     if (e.code === "Escape" && Toolbox.active) {
 493 |       Toolbox.deactivate();
 494 |     }
 495 |   }));
 496 | }
 497 | 
 498 | document.addEventListener('DOMContentLoaded', init);
 499 | 
 500 | function debounce(fn, opts) {
 501 |   opts = opts || {};
 502 |   var timeout;
 503 |   return function(e) {
 504 |     if (opts.stopPropagation) {
 505 |       e.stopPropagation();
 506 |     }
 507 |     var args = arguments;
 508 |     if (timeout) {
 509 |       clearTimeout(timeout);
 510 |     }
 511 |     timeout = setTimeout(function() {
 512 |       timeout = null;
 513 |       fn.apply(this, args);
 514 |     }.bind(this), 150);
 515 |   }
 516 | }
 517 | 
 518 | var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
 519 | function findLocalReferences ($elem) {
 520 |   var name = $elem.innerHTML;
 521 |   var references = [];
 522 | 
 523 |   var parentClause = $elem.parentNode;
 524 |   while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
 525 |     parentClause = parentClause.parentNode;
 526 |   }
 527 | 
 528 |   if(!parentClause) return;
 529 | 
 530 |   var vars = parentClause.querySelectorAll('var');
 531 | 
 532 |   for (var i = 0; i < vars.length; i++) {
 533 |     var $var = vars[i];
 534 | 
 535 |     if ($var.innerHTML === name) {
 536 |       references.push($var);
 537 |     }
 538 |   }
 539 | 
 540 |   return references;
 541 | }
 542 | 
 543 | function toggleFindLocalReferences($elem) {
 544 |   var references = findLocalReferences($elem);
 545 |   if ($elem.classList.contains('referenced')) {
 546 |     references.forEach(function ($reference) {
 547 |       $reference.classList.remove('referenced');
 548 |     });
 549 |   } else {
 550 |     references.forEach(function ($reference) {
 551 |       $reference.classList.add('referenced');
 552 |     });
 553 |   }
 554 | }
 555 | 
 556 | function installFindLocalReferences () {
 557 |   document.addEventListener('click', function (e) {
 558 |     if (e.target.nodeName === 'VAR') {
 559 |       toggleFindLocalReferences(e.target);
 560 |     }
 561 |   });
 562 | }
 563 | 
 564 | document.addEventListener('DOMContentLoaded', installFindLocalReferences);
 565 | 
 566 | 
 567 | 
 568 | 
 569 | // The following license applies to the fuzzysearch function
 570 | // The MIT License (MIT)
 571 | // Copyright © 2015 Nicolas Bevacqua
 572 | // Copyright © 2016 Brian Terlson
 573 | // Permission is hereby granted, free of charge, to any person obtaining a copy of
 574 | // this software and associated documentation files (the "Software"), to deal in
 575 | // the Software without restriction, including without limitation the rights to
 576 | // use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
 577 | // the Software, and to permit persons to whom the Software is furnished to do so,
 578 | // subject to the following conditions:
 579 | 
 580 | // The above copyright notice and this permission notice shall be included in all
 581 | // copies or substantial portions of the Software.
 582 | 
 583 | // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 584 | // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
 585 | // FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
 586 | // COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
 587 | // IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
 588 | // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 589 | function fuzzysearch (searchString, haystack, caseInsensitive) {
 590 |   var tlen = haystack.length;
 591 |   var qlen = searchString.length;
 592 |   var chunks = 1;
 593 |   var finding = false;
 594 | 
 595 |   if (qlen > tlen) {
 596 |     return false;
 597 |   }
 598 | 
 599 |   if (qlen === tlen) {
 600 |     if (searchString === haystack) {
 601 |       return { caseMatch: true, chunks: 1, prefix: true };
 602 |     } else if (searchString.toLowerCase() === haystack.toLowerCase()) {
 603 |       return { caseMatch: false, chunks: 1, prefix: true };
 604 |     } else {
 605 |       return false;
 606 |     }
 607 |   }
 608 | 
 609 |   outer: for (var i = 0, j = 0; i < qlen; i++) {
 610 |     var nch = searchString[i];
 611 |     while (j < tlen) {
 612 |       var targetChar = haystack[j++];
 613 |       if (targetChar === nch) {
 614 |         finding = true;
 615 |         continue outer;
 616 |       }
 617 |       if (finding) {
 618 |         chunks++;
 619 |         finding = false;
 620 |       }
 621 |     }
 622 | 
 623 |     if (caseInsensitive) { return false; }
 624 | 
 625 |     return fuzzysearch(searchString.toLowerCase(), haystack.toLowerCase(), true);
 626 |   }
 627 | 
 628 |   return { caseMatch: !caseInsensitive, chunks: chunks, prefix: j <= qlen };
 629 | }
 630 | 
 631 | var Toolbox = {
 632 |   init: function () {
 633 |     this.$container = document.createElement('div');
 634 |     this.$container.classList.add('toolbox');
 635 |     this.$permalink = document.createElement('a');
 636 |     this.$permalink.textContent = 'Permalink';
 637 |     this.$pinLink = document.createElement('a');
 638 |     this.$pinLink.textContent = 'Pin';
 639 |     this.$pinLink.setAttribute('href', '#');
 640 |     this.$pinLink.addEventListener('click', function (e) {
 641 |       e.preventDefault();
 642 |       e.stopPropagation();
 643 |       menu.togglePinEntry(this.entry.id);
 644 |     }.bind(this));
 645 | 
 646 |     this.$refsLink = document.createElement('a');
 647 |     this.$refsLink.setAttribute('href', '#');
 648 |     this.$refsLink.addEventListener('click', function (e) {
 649 |       e.preventDefault();
 650 |       e.stopPropagation();
 651 |       referencePane.showReferencesFor(this.entry);
 652 |     }.bind(this));
 653 |     this.$container.appendChild(this.$permalink);
 654 |     this.$container.appendChild(this.$pinLink);
 655 |     this.$container.appendChild(this.$refsLink);
 656 |     document.body.appendChild(this.$container);
 657 |   },
 658 | 
 659 |   activate: function (el, entry, target) {
 660 |     if (el === this._activeEl) return;
 661 |     this.active = true;
 662 |     this.entry = entry;
 663 |     this.$container.classList.add('active');
 664 |     this.top = el.offsetTop - this.$container.offsetHeight - 10;
 665 |     this.left = el.offsetLeft;
 666 |     this.$container.setAttribute('style', 'left: ' + this.left + 'px; top: ' + this.top + 'px');
 667 |     this.updatePermalink();
 668 |     this.updateReferences();
 669 |     this._activeEl = el;
 670 |     if (this.top < document.body.scrollTop && el === target) {
 671 |       // don't scroll unless it's a small thing (< 200px)
 672 |       this.$container.scrollIntoView();
 673 |     }
 674 |   },
 675 | 
 676 |   updatePermalink: function () {
 677 |     this.$permalink.setAttribute('href', '#' + this.entry.id);
 678 |   },
 679 | 
 680 |   updateReferences: function () {
 681 |     this.$refsLink.textContent = 'References (' + this.entry.referencingIds.length + ')';
 682 |   },
 683 | 
 684 |   activateIfMouseOver: function (e) {
 685 |     var ref = this.findReferenceUnder(e.target);
 686 |     if (ref && (!this.active || e.pageY > this._activeEl.offsetTop)) {
 687 |       var entry = menu.search.biblio.byId[ref.id];
 688 |       this.activate(ref.element, entry, e.target);
 689 |     } else if (this.active && ((e.pageY < this.top) || e.pageY > (this._activeEl.offsetTop + this._activeEl.offsetHeight))) {
 690 |       this.deactivate();
 691 |     }
 692 |   },
 693 | 
 694 |   findReferenceUnder: function (el) {
 695 |     while (el) {
 696 |       var parent = el.parentNode;
 697 |       if (el.nodeName === 'H1' && parent.nodeName.match(/EMU-CLAUSE|EMU-ANNEX|EMU-INTRO/) && parent.id) {
 698 |         return { element: el, id: parent.id };
 699 |       } else if (el.nodeName.match(/EMU-(?!CLAUSE|XREF|ANNEX|INTRO)|DFN/) &&
 700 |                 el.id && el.id[0] !== '_') {
 701 |         if (el.nodeName === 'EMU-FIGURE' || el.nodeName === 'EMU-TABLE' || el.nodeName === 'EMU-EXAMPLE') {
 702 |           // return the figcaption element
 703 |           return { element: el.children[0].children[0], id: el.id };
 704 |         } else if (el.nodeName === 'EMU-PRODUCTION') {
 705 |           // return the LHS non-terminal element
 706 |           return { element: el.children[0], id: el.id };
 707 |         } else {
 708 |           return { element: el, id: el.id };
 709 |         }
 710 |       }
 711 |       el = parent;
 712 |     }
 713 |   },
 714 | 
 715 |   deactivate: function () {
 716 |     this.$container.classList.remove('active');
 717 |     this._activeEl = null;
 718 |     this.activeElBounds = null;
 719 |     this.active = false;
 720 |   }
 721 | }
 722 | 
 723 | var referencePane = {
 724 |   init: function() {
 725 |     this.$container = document.createElement('div');
 726 |     this.$container.setAttribute('id', 'references-pane-container');
 727 | 
 728 |     var $spacer = document.createElement('div');
 729 |     $spacer.setAttribute('id', 'references-pane-spacer');
 730 | 
 731 |     this.$pane = document.createElement('div');
 732 |     this.$pane.setAttribute('id', 'references-pane');
 733 | 
 734 |     this.$container.appendChild($spacer);
 735 |     this.$container.appendChild(this.$pane);
 736 | 
 737 |     this.$header = document.createElement('div');
 738 |     this.$header.classList.add('menu-pane-header');
 739 |     this.$header.textContent = 'References to ';
 740 |     this.$headerRefId = document.createElement('a');
 741 |     this.$header.appendChild(this.$headerRefId);
 742 |     this.$closeButton = document.createElement('span');
 743 |     this.$closeButton.setAttribute('id', 'references-pane-close');
 744 |     this.$closeButton.addEventListener('click', function (e) {
 745 |       this.deactivate();
 746 |     }.bind(this));
 747 |     this.$header.appendChild(this.$closeButton);
 748 | 
 749 |     this.$pane.appendChild(this.$header);
 750 |     var tableContainer = document.createElement('div');
 751 |     tableContainer.setAttribute('id', 'references-pane-table-container');
 752 | 
 753 |     this.$table = document.createElement('table');
 754 |     this.$table.setAttribute('id', 'references-pane-table');
 755 | 
 756 |     this.$tableBody = this.$table.createTBody();
 757 | 
 758 |     tableContainer.appendChild(this.$table);
 759 |     this.$pane.appendChild(tableContainer);
 760 | 
 761 |     menu.$specContainer.appendChild(this.$container);
 762 |   },
 763 | 
 764 |   activate: function () {
 765 |     this.$container.classList.add('active');
 766 |   },
 767 | 
 768 |   deactivate: function () {
 769 |     this.$container.classList.remove('active');
 770 |   },
 771 | 
 772 |   showReferencesFor(entry) {
 773 |     this.activate();
 774 |     var newBody = document.createElement('tbody');
 775 |     var previousId;
 776 |     var previousCell;
 777 |     var dupCount = 0;
 778 |     this.$headerRefId.textContent = '#' + entry.id;
 779 |     this.$headerRefId.setAttribute('href', '#' + entry.id);
 780 |     entry.referencingIds.map(function (id) {
 781 |       var target = document.getElementById(id);
 782 |       var cid = findParentClauseId(target);
 783 |       var clause = menu.search.biblio.byId[cid];
 784 |       return { id: id, clause: clause }
 785 |     }).sort(function (a, b) {
 786 |       return sortByClauseNumber(a.clause, b.clause);
 787 |     }).forEach(function (record, i) {
 788 |       if (previousId === record.clause.id) {
 789 |         previousCell.innerHTML += ' (<a href="#' + record.id + '">' + (dupCount + 2) + '</a>)';
 790 |         dupCount++;
 791 |       } else {
 792 |         var row = newBody.insertRow();
 793 |         var cell = row.insertCell();
 794 |         cell.innerHTML = record.clause.number;
 795 |         cell = row.insertCell();
 796 |         cell.innerHTML = '<a href="#' + record.id + '">' + record.clause.titleHTML + '</a>';
 797 |         previousCell = cell;
 798 |         previousId = record.clause.id;
 799 |         dupCount = 0;
 800 |       }
 801 |     }, this);
 802 |     this.$table.removeChild(this.$tableBody);
 803 |     this.$tableBody = newBody;
 804 |     this.$table.appendChild(this.$tableBody);
 805 |   }
 806 | }
 807 | function findParentClauseId(node) {
 808 |   while (node && node.nodeName !== 'EMU-CLAUSE' && node.nodeName !== 'EMU-INTRO' && node.nodeName !== 'EMU-ANNEX') {
 809 |     node = node.parentNode;
 810 |   }
 811 |   if (!node) return null;
 812 |   return node.getAttribute('id');
 813 | }
 814 | 
 815 | function sortByClauseNumber(c1, c2) {
 816 |   var c1c = c1.number.split('.');
 817 |   var c2c = c2.number.split('.');
 818 | 
 819 |   for (var i = 0; i < c1c.length; i++) {
 820 |     if (i >= c2c.length) {
 821 |       return 1;
 822 |     }
 823 | 
 824 |     var c1 = c1c[i];
 825 |     var c2 = c2c[i];
 826 |     var c1cn = Number(c1);
 827 |     var c2cn = Number(c2);
 828 | 
 829 |     if (Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
 830 |       if (c1 > c2) {
 831 |         return 1;
 832 |       } else if (c1 < c2) {
 833 |         return -1;
 834 |       }
 835 |     } else if (!Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
 836 |       return -1;
 837 |     } else if (Number.isNaN(c1cn) && !Number.isNaN(c2cn)) {
 838 |       return 1;
 839 |     } else if(c1cn > c2cn) {
 840 |       return 1;
 841 |     } else if (c1cn < c2cn) {
 842 |       return -1;
 843 |     }
 844 |   }
 845 | 
 846 |   if (c1c.length === c2c.length) {
 847 |     return 0;
 848 |   }
 849 |   return -1;
 850 | }
 851 | 
 852 | document.addEventListener('DOMContentLoaded', function () {
 853 |   Toolbox.init();
 854 |   referencePane.init();
 855 | })
 856 | var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
 857 | function findLocalReferences ($elem) {
 858 |   var name = $elem.innerHTML;
 859 |   var references = [];
 860 | 
 861 |   var parentClause = $elem.parentNode;
 862 |   while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
 863 |     parentClause = parentClause.parentNode;
 864 |   }
 865 | 
 866 |   if(!parentClause) return;
 867 | 
 868 |   var vars = parentClause.querySelectorAll('var');
 869 | 
 870 |   for (var i = 0; i < vars.length; i++) {
 871 |     var $var = vars[i];
 872 | 
 873 |     if ($var.innerHTML === name) {
 874 |       references.push($var);
 875 |     }
 876 |   }
 877 | 
 878 |   return references;
 879 | }
 880 | 
 881 | function toggleFindLocalReferences($elem) {
 882 |   var references = findLocalReferences($elem);
 883 |   if ($elem.classList.contains('referenced')) {
 884 |     references.forEach(function ($reference) {
 885 |       $reference.classList.remove('referenced');
 886 |     });
 887 |   } else {
 888 |     references.forEach(function ($reference) {
 889 |       $reference.classList.add('referenced');
 890 |     });
 891 |   }
 892 | }
 893 | 
 894 | function installFindLocalReferences () {
 895 |   document.addEventListener('click', function (e) {
 896 |     if (e.target.nodeName === 'VAR') {
 897 |       toggleFindLocalReferences(e.target);
 898 |     }
 899 |   });
 900 | }
 901 | 
 902 | document.addEventListener('DOMContentLoaded', installFindLocalReferences);
 903 | </script><style>body {
 904 |   display: flex;
 905 |   font-size: 18px;
 906 |   line-height: 1.5;
 907 |   font-family: Cambria, Palatino Linotype, Palatino, Liberation Serif, serif;
 908 |   padding: 0;
 909 |   margin: 0;
 910 |   color: #111;
 911 | }
 912 | 
 913 | #spec-container {
 914 |   padding: 0 20px;
 915 |   flex-grow: 1;
 916 |   flex-basis: 66%;
 917 |   box-sizing: border-box;
 918 |   overflow: hidden;
 919 | }
 920 | 
 921 | body.oldtoc {
 922 |   margin: 0 auto;
 923 | }
 924 | 
 925 | a {
 926 |     text-decoration: none;
 927 |     color: #206ca7;
 928 | }
 929 | 
 930 | a:visited {
 931 |   color: #206ca7;
 932 | }
 933 | 
 934 | a:hover {
 935 |     text-decoration: underline;
 936 |     color: #239dee;
 937 | }
 938 | 
 939 | 
 940 | code {
 941 |     font-weight: bold;
 942 |     font-family: Consolas, Monaco, monospace;
 943 |     white-space: pre;
 944 | }
 945 | 
 946 | pre code {
 947 |   font-weight: inherit;
 948 | }
 949 | 
 950 | pre code.hljs {
 951 |   background-color: #fff;
 952 |   margin: 0;
 953 |   padding: 0;
 954 | }
 955 | 
 956 | ol.toc {
 957 |     list-style: none;
 958 |     padding-left: 0;
 959 | }
 960 | 
 961 | ol.toc ol.toc {
 962 |     padding-left: 2ex;
 963 |     list-style: none;
 964 | }
 965 | 
 966 | var {
 967 |   color: #2aa198;
 968 |   transition: background-color 0.25s ease;
 969 |   cursor: pointer;
 970 | }
 971 | 
 972 | var.referenced {
 973 |   background-color: #ffff33;
 974 | }
 975 | 
 976 | emu-const {
 977 |   font-family: sans-serif;
 978 | }
 979 | 
 980 | emu-val {
 981 |   font-weight: bold;
 982 | }
 983 | 
 984 | /* depth 1 */
 985 | emu-alg ol,
 986 | /* depth 4 */
 987 | emu-alg ol ol ol ol,
 988 | emu-alg ol.nested-thrice,
 989 | emu-alg ol.nested-twice ol,
 990 | emu-alg ol.nested-once ol ol {
 991 |   list-style-type: decimal;
 992 | }
 993 | 
 994 | /* depth 2 */
 995 | emu-alg ol ol,
 996 | emu-alg ol.nested-once,
 997 | /* depth 5 */
 998 | emu-alg ol ol ol ol ol,
 999 | emu-alg ol.nested-four-times,
1000 | emu-alg ol.nested-thrice ol,
1001 | emu-alg ol.nested-twice ol ol,
1002 | emu-alg ol.nested-once ol ol ol {
1003 |   list-style-type: lower-alpha;
1004 | }
1005 | 
1006 | /* depth 3 */
1007 | emu-alg ol ol ol,
1008 | emu-alg ol.nested-twice,
1009 | emu-alg ol.nested-once ol,
1010 | /* depth 6 */
1011 | emu-alg ol ol ol ol ol ol,
1012 | emu-alg ol.nested-lots,
1013 | emu-alg ol.nested-four-times ol,
1014 | emu-alg ol.nested-thrice ol ol,
1015 | emu-alg ol.nested-twice ol ol ol,
1016 | emu-alg ol.nested-once ol ol ol ol,
1017 | /* depth 7+ */
1018 | emu-alg ol.nested-lots ol {
1019 |   list-style-type: lower-roman;
1020 | }
1021 | 
1022 | emu-eqn {
1023 |   display: block;
1024 |   margin-left: 4em;
1025 | }
1026 | 
1027 | emu-eqn.inline {
1028 |   display: inline;
1029 |   margin: 0;
1030 | }
1031 | 
1032 | emu-eqn div:first-child {
1033 |   margin-left: -2em;
1034 | }
1035 | 
1036 | emu-note {
1037 |     margin: 1em 0;
1038 |     color: #666;
1039 |     border-left: 5px solid #ccc;
1040 |     display: flex;
1041 |     flex-direction: row;
1042 | }
1043 | 
1044 | emu-note > span.note {
1045 |     flex-basis: 100px;
1046 |     min-width: 100px;
1047 |     flex-grow: 0;
1048 |     flex-shrink: 1;
1049 |     text-transform: uppercase;
1050 |     padding-left: 5px;
1051 | }
1052 | 
1053 | emu-note[type=editor] {
1054 |   border-left-color: #faa;
1055 | }
1056 | 
1057 | emu-note > div.note-contents {
1058 |   flex-grow: 1;
1059 |   flex-shrink: 1;
1060 | }
1061 | 
1062 | emu-note > div.note-contents > p:first-of-type {
1063 |   margin-top: 0;
1064 | }
1065 | 
1066 | emu-note > div.note-contents > p:last-of-type {
1067 |   margin-bottom: 0;
1068 | }
1069 | 
1070 | emu-table td code {
1071 |   white-space: normal;
1072 | } 
1073 | 
1074 | emu-figure {
1075 |   display: block;
1076 | }
1077 | 
1078 | emu-example {
1079 |   display: block;
1080 |   margin: 1em 3em;
1081 | }
1082 | 
1083 | emu-example figure figcaption {
1084 |   margin-top: 0.5em;
1085 |   text-align: left;
1086 | }
1087 | 
1088 | emu-figure figure,
1089 | emu-example figure,
1090 | emu-table figure {
1091 |   display: flex;
1092 |   flex-direction: column;
1093 |   align-items: center;
1094 | }
1095 | 
1096 | emu-production {
1097 |     display: block;
1098 | }
1099 | 
1100 | emu-grammar[type="example"] emu-production,
1101 | emu-grammar[type="definition"] emu-production {
1102 |     margin-top: 1em;
1103 |     margin-bottom: 1em;
1104 |     margin-left: 5ex;
1105 | }
1106 | 
1107 | emu-grammar.inline, emu-production.inline,
1108 | emu-grammar.inline emu-production emu-rhs, emu-production.inline emu-rhs,
1109 | emu-grammar[collapsed] emu-production emu-rhs {
1110 |     display: inline;
1111 |     padding-left: 1ex;
1112 |     margin-left: 0;
1113 | }
1114 | 
1115 | emu-production[collapsed] emu-rhs {
1116 |     display: inline;
1117 |     padding-left: .5ex;
1118 |     margin-left: 0;
1119 | }
1120 | 
1121 | emu-grammar[collapsed] emu-production, emu-production[collapsed] {
1122 |     margin: 0;
1123 | }
1124 | 
1125 | emu-constraints {
1126 |     font-size: .75em;
1127 |     margin-right: .5ex;
1128 | }
1129 | 
1130 | emu-gann {
1131 |     margin-right: .5ex;
1132 | }
1133 | 
1134 | emu-gann emu-t:last-child,
1135 | emu-gann emu-gprose:last-child,
1136 | emu-gann emu-nt:last-child {
1137 |     margin-right: 0;
1138 | }
1139 | 
1140 | emu-geq {
1141 |     margin-left: .5ex;
1142 |     font-weight: bold;
1143 | }
1144 | 
1145 | emu-oneof {
1146 |     font-weight: bold;
1147 |     margin-left: .5ex;
1148 | }
1149 | 
1150 | emu-nt {
1151 |     display: inline-block;
1152 |     font-style: italic;
1153 |     white-space: nowrap;
1154 |     text-indent: 0;
1155 | }
1156 | 
1157 | emu-nt a, emu-nt a:visited {
1158 |   color: #333;
1159 | }
1160 | 
1161 | emu-rhs emu-nt {
1162 |     margin-right: .5ex;
1163 | }
1164 | 
1165 | emu-t {
1166 |     display: inline-block;
1167 |     font-family: monospace;
1168 |     font-weight: bold;
1169 |     white-space: nowrap;
1170 |     text-indent: 0;
1171 | }
1172 | 
1173 | emu-production emu-t {
1174 |     margin-right: .5ex;
1175 | }
1176 | 
1177 | emu-rhs {
1178 |     display: block;
1179 |     padding-left: 75px;
1180 |     text-indent: -25px;
1181 | }
1182 | 
1183 | emu-mods {
1184 |     font-size: .85em;
1185 |     vertical-align: sub;
1186 |     font-style: normal;
1187 |     font-weight: normal;
1188 | }
1189 | 
1190 | emu-params, emu-opt {
1191 |   margin-right: 1ex;
1192 |   font-family: monospace;
1193 | }
1194 | 
1195 | emu-params, emu-constraints {
1196 |   color: #2aa198;
1197 | }
1198 | 
1199 | emu-opt {
1200 |   color: #b58900;
1201 | }
1202 | 
1203 | emu-gprose {
1204 |     font-size: 0.9em;
1205 |     font-family: Helvetica, Arial, sans-serif;
1206 | }
1207 | 
1208 | emu-production emu-gprose {
1209 |     margin-right: 1ex;
1210 | }
1211 | 
1212 | h1.shortname {
1213 |   color: #f60;
1214 |   font-size: 1.5em;
1215 |   margin: 0;
1216 | }
1217 | 
1218 | h1.version {
1219 |   color: #f60;
1220 |   font-size: 1.5em;
1221 |   margin: 0;
1222 | }
1223 | 
1224 | h1.title {
1225 |   margin-top: 0;
1226 |   color: #f60;
1227 | }
1228 | 
1229 | h1.first {
1230 |   margin-top: 0;
1231 | }
1232 | 
1233 | h1, h2, h3, h4, h5, h6 {
1234 |     position: relative;
1235 | }
1236 | 
1237 | h1 .secnum {
1238 |   text-decoration: none;
1239 |   margin-right: 5px;
1240 | }
1241 | 
1242 | h1 span.title {
1243 |   order: 2;
1244 | }
1245 | 
1246 | 
1247 | h1 { font-size: 2.67em; margin-top: 2em; margin-bottom: 0; line-height: 1em;}
1248 | h2 { font-size: 2em; }
1249 | h3 { font-size: 1.56em; }
1250 | h4 { font-size: 1.25em; }
1251 | h5 { font-size: 1.11em; }
1252 | h6 { font-size: 1em; }
1253 | 
1254 | h1:hover span.utils {
1255 |   display: block;
1256 | }
1257 | 
1258 | span.utils {
1259 |   font-size: 18px;
1260 |   line-height: 18px;
1261 |   display: none;
1262 |   position: absolute;
1263 |   top: 100%;
1264 |   left: 0;
1265 |   right: 0;
1266 |   font-weight: normal;
1267 | }
1268 | 
1269 | span.utils:before {
1270 |     content: "⤷";
1271 |     display: inline-block;
1272 |     padding: 0 5px;
1273 | }
1274 | 
1275 | span.utils > * {
1276 |   display: inline-block;
1277 |   margin-right: 20px;
1278 | }
1279 | 
1280 | h1 span.utils span.anchor a,
1281 | h2 span.utils span.anchor a,
1282 | h3 span.utils span.anchor a,
1283 | h4 span.utils span.anchor a,
1284 | h5 span.utils span.anchor a,
1285 | h6 span.utils span.anchor a {
1286 |   text-decoration: none;
1287 |   font-variant: small-caps;
1288 | }
1289 | 
1290 | h1 span.utils span.anchor a:hover,
1291 | h2 span.utils span.anchor a:hover,
1292 | h3 span.utils span.anchor a:hover,
1293 | h4 span.utils span.anchor a:hover,
1294 | h5 span.utils span.anchor a:hover,
1295 | h6 span.utils span.anchor a:hover {
1296 |   color: #333;
1297 | }
1298 | 
1299 | emu-intro h1, emu-clause h1, emu-annex h1 { font-size: 2em; }
1300 | emu-intro h2, emu-clause h2, emu-annex h2 { font-size: 1.56em; }
1301 | emu-intro h3, emu-clause h3, emu-annex h3 { font-size: 1.25em; }
1302 | emu-intro h4, emu-clause h4, emu-annex h4 { font-size: 1.11em; }
1303 | emu-intro h5, emu-clause h5, emu-annex h5 { font-size: 1em; }
1304 | emu-intro h6, emu-clause h6, emu-annex h6 { font-size: 0.9em; }
1305 | emu-intro emu-intro h1, emu-clause emu-clause h1, emu-annex emu-annex h1 { font-size: 1.56em; }
1306 | emu-intro emu-intro h2, emu-clause emu-clause h2, emu-annex emu-annex h2 { font-size: 1.25em; }
1307 | emu-intro emu-intro h3, emu-clause emu-clause h3, emu-annex emu-annex h3 { font-size: 1.11em; }
1308 | emu-intro emu-intro h4, emu-clause emu-clause h4, emu-annex emu-annex h4 { font-size: 1em; }
1309 | emu-intro emu-intro h5, emu-clause emu-clause h5, emu-annex emu-annex h5 { font-size: 0.9em; }
1310 | emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex h1 { font-size: 1.25em; }
1311 | emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex h2 { font-size: 1.11em; }
1312 | emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex h3 { font-size: 1em; }
1313 | emu-intro emu-intro emu-intro h4, emu-clause emu-clause emu-clause h4, emu-annex emu-annex emu-annex h4 { font-size: 0.9em; }
1314 | emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex h1 { font-size: 1.11em; }
1315 | emu-intro emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex emu-annex h2 { font-size: 1em; }
1316 | emu-intro emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex emu-annex h3 { font-size: 0.9em; }
1317 | emu-intro emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex emu-annex h1 { font-size: 1em; }
1318 | emu-intro emu-intro emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex emu-annex emu-annex h2 { font-size: 0.9em; }
1319 | emu-intro emu-intro emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex emu-annex emu-annex h1 { font-size: 0.9em }
1320 | 
1321 | emu-clause, emu-intro, emu-annex {
1322 |     display: block;
1323 | }
1324 | 
1325 | /* Figures and tables */
1326 | figure { display: block; margin: 1em 0 3em 0; }
1327 | figure object { display: block; margin: 0 auto; }
1328 | figure table.real-table { margin: 0 auto; }
1329 | figure figcaption {
1330 |     display: block;
1331 |     color: #555555;
1332 |     font-weight: bold;
1333 |     text-align: center;
1334 | }
1335 | 
1336 | emu-table table {
1337 |   margin: 0 auto;
1338 | }
1339 | 
1340 | emu-table table, table.real-table {
1341 |     border-collapse: collapse;
1342 | }
1343 | 
1344 | emu-table td, emu-table th, table.real-table td, table.real-table th {
1345 |     border: 1px solid black;
1346 |     padding: 0.4em;
1347 |     vertical-align: baseline;
1348 | }
1349 | emu-table th, emu-table thead td, table.real-table th {
1350 |     background-color: #eeeeee;
1351 | }
1352 | 
1353 | /* Note: the left content edges of table.lightweight-table >tbody >tr >td
1354 |    and div.display line up. */
1355 | table.lightweight-table {
1356 |     border-collapse: collapse;
1357 |     margin: 0 0 0 1.5em;
1358 | }
1359 | table.lightweight-table td, table.lightweight-table th {
1360 |     border: none;
1361 |     padding: 0 0.5em;
1362 |     vertical-align: baseline;
1363 | }
1364 | 
1365 | /* diff styles */
1366 | ins {
1367 |     background-color: #e0f8e0;
1368 |     text-decoration: none;
1369 |     border-bottom: 1px solid #396;
1370 | }
1371 | 
1372 | del {
1373 |     background-color: #fee;
1374 | }
1375 | 
1376 | ins.block, del.block,
1377 | emu-production > ins, emu-production > del,
1378 | emu-grammar > ins, emu-grammar > del {
1379 |   display: block;
1380 | }
1381 | emu-rhs > ins, emu-rhs > del { 
1382 |   display: inline;
1383 | }
1384 | 
1385 | tr.ins > td > ins {
1386 |   border-bottom: none;
1387 | }
1388 | 
1389 | tr.ins > td {
1390 |   background-color: #e0f8e0;
1391 | }
1392 | 
1393 | tr.del > td {
1394 |   background-color: #fee;
1395 | }
1396 | 
1397 | /* Menu Styles */
1398 | #menu-toggle {
1399 |   font-size: 2em;
1400 | 
1401 |   position: fixed;
1402 |   top: 0;
1403 |   left: 0;
1404 |   width: 1.5em;
1405 |   height: 1.5em;
1406 |   z-index: 3;
1407 |   visibility: hidden;
1408 |   color: #1567a2;
1409 |   background-color: #fff;
1410 | 
1411 |   line-height: 1.5em;
1412 |   text-align: center;
1413 |   -webkit-touch-callout: none;
1414 |   -webkit-user-select: none;
1415 |   -khtml-user-select: none;
1416 |   -moz-user-select: none;
1417 |   -ms-user-select: none;
1418 |   user-select: none;;
1419 | 
1420 |   cursor: pointer;
1421 | }
1422 | 
1423 | #menu {
1424 |   display: flex;
1425 |   flex-direction: column;
1426 |   width: 33%; height: 100vh;
1427 |   max-width: 500px;
1428 |   box-sizing: border-box;
1429 |   background-color: #ddd;
1430 |   overflow: hidden;
1431 |   transition: opacity 0.1s linear;
1432 |   padding: 0 5px;
1433 |   position: fixed;
1434 |   left: 0; top: 0;
1435 |   border-right: 2px solid #bbb;
1436 | 
1437 |   z-index: 2;
1438 | }
1439 | 
1440 | #menu-spacer {
1441 |   flex-basis: 33%;
1442 |   max-width: 500px;
1443 |   flex-grow: 0;
1444 |   flex-shrink: 0;
1445 | }
1446 | 
1447 | #menu a {
1448 |   color: #1567a2;
1449 | }
1450 | 
1451 | #menu.active {
1452 |   display: flex;
1453 |   opacity: 1;
1454 |   z-index: 2;
1455 | }
1456 | 
1457 | #menu-pins {
1458 |   flex-grow: 1;
1459 |   display: none;
1460 | }
1461 | 
1462 | #menu-pins.active {
1463 |   display: block;
1464 | }
1465 | 
1466 | #menu-pins-list {
1467 |   margin: 0;
1468 |   padding: 0;
1469 |   counter-reset: pins-counter;
1470 | }
1471 | 
1472 | #menu-pins-list > li:before {
1473 |   content: counter(pins-counter);
1474 |   counter-increment: pins-counter;
1475 |   display: inline-block;
1476 |   width: 25px;
1477 |   text-align: center;
1478 |   border: 1px solid #bbb;
1479 |   padding: 2px;
1480 |   margin: 4px;
1481 |   box-sizing: border-box;
1482 |   line-height: 1em;
1483 |   background-color: #ccc;
1484 |   border-radius: 4px;
1485 | }
1486 | #menu-toc > ol {
1487 |   padding: 0;
1488 |   flex-grow: 1;
1489 | }
1490 | 
1491 | #menu-toc > ol li {
1492 |   padding: 0;
1493 | }
1494 | 
1495 | #menu-toc > ol , #menu-toc > ol ol {
1496 |   list-style-type: none;
1497 |   margin: 0;
1498 |   padding: 0;
1499 | }
1500 | 
1501 | #menu-toc > ol ol {
1502 |   padding-left: 0.75em;
1503 | }
1504 | 
1505 | #menu-toc li {
1506 |   text-overflow: ellipsis;
1507 |   overflow: hidden;
1508 |   white-space: nowrap;
1509 | }
1510 | 
1511 | #menu-toc .item-toggle {
1512 |   display: inline-block;
1513 |   transform: rotate(-45deg) translate(-5px, -5px);
1514 |   transition: transform 0.1s ease;
1515 |   text-align: center;
1516 |   width: 20px;
1517 | 
1518 |   color: #aab;
1519 | 
1520 |   -webkit-touch-callout: none;
1521 |   -webkit-user-select: none;
1522 |   -khtml-user-select: none;
1523 |   -moz-user-select: none;
1524 |   -ms-user-select: none;
1525 |   user-select: none;;
1526 | 
1527 |   cursor: pointer;
1528 | }
1529 | 
1530 | #menu-toc .item-toggle-none {
1531 |   display: inline-block;
1532 |   width: 20px;
1533 | }
1534 | 
1535 | #menu-toc li.active > .item-toggle {
1536 |   transform: rotate(45deg) translate(-5px, -5px);
1537 | }
1538 | 
1539 | #menu-toc li > ol {
1540 |   display: none;
1541 | }
1542 | 
1543 | #menu-toc li.active > ol {
1544 |   display: block;
1545 | }
1546 | 
1547 | #menu-toc li.revealed > a {
1548 |   background-color: #bbb;
1549 |   font-weight: bold;
1550 |   /*
1551 |   background-color: #222;
1552 |   color: #c6d8e4;
1553 |   */
1554 | }
1555 | 
1556 | #menu-toc li.revealed-leaf> a {
1557 |   color: #206ca7;
1558 |   /*
1559 |   background-color: #222;
1560 |   color: #c6d8e4;
1561 |   */
1562 | }
1563 | 
1564 | #menu-toc li.revealed > .item-toggle {
1565 |   transform: rotate(45deg) translate(-5px, -5px);
1566 | }
1567 | 
1568 | #menu-toc li.revealed > ol {
1569 |   display: block;
1570 | }
1571 | 
1572 | #menu-toc li > a {
1573 |   padding: 2px 5px;
1574 | }
1575 | 
1576 | #menu > * {
1577 |   margin-bottom: 5px;
1578 | }
1579 | 
1580 | .menu-pane-header {
1581 |   padding: 0 5px;
1582 |   text-transform: uppercase;
1583 |   background-color: #aaa;
1584 |   color: #335;
1585 |   font-weight: bold;
1586 |   letter-spacing: 2px;
1587 |   flex-grow: 0;
1588 |   flex-shrink: 0;
1589 |   font-size: 0.8em;
1590 | }
1591 | 
1592 | #menu-toc {
1593 |   display: flex;
1594 |   flex-direction: column;
1595 |   width: 100%;
1596 |   overflow: hidden;
1597 |   flex-grow: 1;
1598 | }
1599 | 
1600 | #menu-toc ol.toc {
1601 |   overflow-x: hidden;
1602 |   overflow-y: auto;
1603 | }
1604 | 
1605 | #menu-search {
1606 |   position: relative;
1607 |   flex-grow: 0;
1608 |   flex-shrink: 0;
1609 |   width: 100%;
1610 |   
1611 |   display: flex;
1612 |   flex-direction: column;
1613 |   
1614 |   max-height: 300px;
1615 | }
1616 | 
1617 | #menu-trace-list {
1618 |   display: none;
1619 | }
1620 | 
1621 | #menu-search-box {
1622 |   box-sizing: border-box;
1623 |   display: block;
1624 |   width: 100%;
1625 |   margin: 5px 0 0 0;
1626 |   font-size: 1em;
1627 |   padding: 2px;
1628 |   background-color: #bbb;
1629 |   border: 1px solid #999;
1630 | }
1631 | 
1632 | #menu-search-results {
1633 |   overflow-x: hidden;
1634 |   overflow-y: auto;
1635 | }
1636 | 
1637 | li.menu-search-result-clause:before {
1638 |     content: 'clause';
1639 |     width: 40px;
1640 |     display: inline-block;
1641 |     text-align: right;
1642 |     padding-right: 1ex;
1643 |     color: #666;
1644 |     font-size: 75%;
1645 | }
1646 | li.menu-search-result-op:before {
1647 |     content: 'op';
1648 |     width: 40px;
1649 |     display: inline-block;
1650 |     text-align: right;
1651 |     padding-right: 1ex;
1652 |     color: #666;
1653 |     font-size: 75%;
1654 | }
1655 | 
1656 | li.menu-search-result-prod:before {
1657 |     content: 'prod';
1658 |     width: 40px;
1659 |     display: inline-block;
1660 |     text-align: right;
1661 |     padding-right: 1ex;
1662 |     color: #666;
1663 |     font-size: 75%
1664 | }
1665 | 
1666 | 
1667 | li.menu-search-result-term:before {
1668 |     content: 'term';
1669 |     width: 40px;
1670 |     display: inline-block;
1671 |     text-align: right;
1672 |     padding-right: 1ex;
1673 |     color: #666;
1674 |     font-size: 75%
1675 | }
1676 | 
1677 | #menu-search-results ul {
1678 |   padding: 0 5px;
1679 |   margin: 0;
1680 | }
1681 | 
1682 | #menu-search-results li {
1683 |   white-space: nowrap;
1684 |   text-overflow: ellipsis;
1685 | }
1686 | 
1687 | 
1688 | #menu-trace-list {
1689 |   counter-reset: item;
1690 |   margin: 0 0 0 20px;
1691 |   padding: 0;
1692 | }
1693 | #menu-trace-list li {
1694 |   display: block;
1695 |   white-space: nowrap;
1696 | }
1697 | 
1698 | #menu-trace-list li .secnum:after {
1699 |   content: " ";
1700 | }
1701 | #menu-trace-list li:before {
1702 |     content: counter(item) " ";
1703 |     background-color: #222;
1704 |     counter-increment: item;
1705 |     color: #999;
1706 |     width: 20px;
1707 |     height: 20px;
1708 |     line-height: 20px;
1709 |     display: inline-block;
1710 |     text-align: center;
1711 |     margin: 2px 4px 2px 0;
1712 | }
1713 | 
1714 | @media (max-width: 1000px) {
1715 |   body {
1716 |     margin: 0;
1717 |     display: block;
1718 |   }
1719 | 
1720 |   #menu {
1721 |     display: none;
1722 |     padding-top: 3em;
1723 |     width: 450px;
1724 |   }
1725 | 
1726 |   #menu.active {
1727 |     position: fixed;
1728 |     height: 100%;
1729 |     left: 0;
1730 |     top: 0;
1731 |     right: 300px;
1732 |   }
1733 | 
1734 |   #menu-toggle {
1735 |     visibility: visible;
1736 |   }
1737 | 
1738 |   #spec-container {
1739 |     padding: 0 5px;
1740 |   }
1741 | 
1742 |   #references-pane-spacer {
1743 |     display: none;
1744 |   }
1745 | }
1746 | 
1747 | @media only screen and (max-width: 800px) {
1748 |   #menu {
1749 |     width: 100%;
1750 |   }
1751 | 
1752 |   h1 .secnum:empty {
1753 |     margin: 0; padding: 0;
1754 |   }
1755 | }
1756 | 
1757 | 
1758 | /* Toolbox */
1759 | .toolbox {
1760 | 	position: absolute;
1761 | 	background: #ddd;
1762 | 	border: 1px solid #aaa;
1763 |   display: none;
1764 |   color: #eee;
1765 |   padding: 5px;
1766 |   border-radius: 3px;
1767 | }
1768 | 
1769 | .toolbox.active {
1770 |   display: inline-block;
1771 | }
1772 | 
1773 | .toolbox a {
1774 |   text-decoration: none;
1775 |   padding: 0 5px;
1776 | }
1777 | 
1778 | .toolbox a:hover {
1779 |   text-decoration: underline;
1780 | }
1781 | 
1782 | .toolbox:after, .toolbox:before {
1783 | 	top: 100%;
1784 | 	left: 15px;
1785 | 	border: solid transparent;
1786 | 	content: " ";
1787 | 	height: 0;
1788 | 	width: 0;
1789 | 	position: absolute;
1790 | 	pointer-events: none;
1791 | }
1792 | 
1793 | .toolbox:after {
1794 | 	border-color: rgba(0, 0, 0, 0);
1795 | 	border-top-color: #ddd;
1796 | 	border-width: 10px;
1797 | 	margin-left: -10px;
1798 | }
1799 | .toolbox:before {
1800 | 	border-color: rgba(204, 204, 204, 0);
1801 | 	border-top-color: #aaa;
1802 | 	border-width: 12px;
1803 | 	margin-left: -12px;
1804 | }
1805 | 
1806 | #references-pane-container {
1807 |   position: fixed;
1808 |   bottom: 0;
1809 |   left: 0;
1810 |   right: 0;
1811 |   height: 250px;
1812 |   display: none;
1813 |   background-color: #ddd;
1814 |   z-index: 1;
1815 | }
1816 | 
1817 | #references-pane-table-container {
1818 |   overflow-x: hidden;
1819 |   overflow-y: auto;
1820 | }
1821 | 
1822 | #references-pane-spacer {
1823 |   flex-basis: 33%;
1824 |   max-width: 500px;
1825 | }
1826 | 
1827 | #references-pane {
1828 |   flex-grow: 1;
1829 |   overflow: hidden;
1830 |   display: flex;
1831 |   flex-direction: column;
1832 | }
1833 | 
1834 | #references-pane-container.active {
1835 |   display: flex;
1836 | }
1837 | 
1838 | #references-pane-close:after {
1839 |   content: '✖';
1840 |   float: right;
1841 |   cursor: pointer;
1842 | }
1843 | 
1844 | #references-pane table tr td:first-child {
1845 |   text-align: right;
1846 |   padding-right: 5px;
1847 | }
1848 | 
1849 | @media print {
1850 |   #menu-toggle {
1851 |     display: none; 
1852 |   }
1853 | }
1854 | </style></head><body><div id="menu-toggle">☰</div><div id="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins</div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-demo-clause" title="This is an emu-clause"><span class="secnum">1</span> This is an emu-clause</a></li><li><span class="item-toggle-none"></span><a href="#sec-copyright-and-software-license" title="Copyright &amp; Software License"><span class="secnum">A</span> Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="version first">Stage -1 Draft / November 16, 2023</h1><h1 class="title">Proposal Title Goes Here</h1>
1855 | 
1856 | <emu-clause id="sec-demo-clause">
1857 |   <h1><span class="secnum">1</span> This is an emu-clause</h1>
1858 |   <p>This is an algorithm:</p>
1859 |   <emu-alg><ol><li>Let <var>proposal</var> be <emu-val>undefined</emu-val>.</li><li>If IsAccepted(<var>proposal</var>),<ol><li>Let <var>stage</var> be <emu-val>0</emu-val>.</li></ol></li><li>Else,<ol><li>Let <var>stage</var> be <emu-val>-1</emu-val>.</li></ol></li><li>Return ?&nbsp;<emu-xref aoid="ToString" id="_ref_0"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>proposal</var>).</li></ol></emu-alg>
1860 | </emu-clause><emu-annex id="sec-copyright-and-software-license">
1861 |       <h1><span class="secnum">A</span> Copyright &amp; Software License</h1>
1862 |       
1863 |       <h2>Copyright Notice</h2>
1864 |       <p>© 2023 Your Name(s) Here</p>
1865 | 
1866 |       <h2>Software License</h2>
1867 |       <p>All Software contained in this document ("Software") is protected by copyright and is being made available under the "BSD License", included below. This Software may be subject to third party rights (rights from parties other than Ecma International), including patent rights, and no licenses under such third party rights are granted under this license even if the third party concerned is a member of Ecma International. SEE THE ECMA CODE OF CONDUCT IN PATENT MATTERS AVAILABLE AT https://ecma-international.org/memento/codeofconduct.htm FOR INFORMATION REGARDING THE LICENSING OF PATENT CLAIMS THAT ARE REQUIRED TO IMPLEMENT ECMA INTERNATIONAL STANDARDS.</p>
1868 | 
1869 | <p>Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:</p>
1870 | 
1871 | <ol>
1872 |   <li>Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.</li>
1873 |   <li>Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.</li>
1874 |   <li>Neither the name of the authors nor Ecma International may be used to endorse or promote products derived from this software without specific prior written permission.</li>
1875 | </ol>
1876 | 
1877 | <p>THIS SOFTWARE IS PROVIDED BY THE ECMA INTERNATIONAL "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL ECMA INTERNATIONAL BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.</p>
1878 | 
1879 |     </emu-annex>
1880 | </div></body>


--------------------------------------------------------------------------------
/package.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "private": true,
 3 |   "name": "template-for-proposals",
 4 |   "description": "A repository template for ECMAScript proposals.",
 5 |   "scripts": {
 6 |     "start": "npm run build-loose -- --watch",
 7 |     "build": "npm run build-loose -- --strict",
 8 |     "build-loose": "ecmarkup --verbose spec.emu index.html"
 9 |   },
10 |   "homepage": "https://github.com/tc39/template-for-proposals#readme",
11 |   "repository": {
12 |     "type": "git",
13 |     "url": "git+https://github.com/tc39/template-for-proposals.git"
14 |   },
15 |   "license": "MIT",
16 |   "devDependencies": {
17 |     "ecmarkup": "^4.0.0"
18 |   }
19 | }
20 | 


--------------------------------------------------------------------------------
/spec.emu:
--------------------------------------------------------------------------------
 1 | <!doctype html>
 2 | <meta charset="utf8">
 3 | <link rel="stylesheet" href="./spec.css">
 4 | <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css">
 5 | <script src="./spec.js"></script>
 6 | <pre class="metadata">
 7 | title: Proposal Title Goes Here
 8 | stage: -1
 9 | contributors: Your Name(s) Here
10 | </pre>
11 | 
12 | <emu-clause id="sec-demo-clause">
13 |   <h1>This is an emu-clause</h1>
14 |   <p>This is an algorithm:</p>
15 |   <emu-alg>
16 |     1. Let _proposal_ be *undefined*.
17 |     1. If IsAccepted(_proposal_),
18 |       1. Let _stage_ be *0*.
19 |     1. Else,
20 |       1. Let _stage_ be *-1*.
21 |     1. Return ? ToString(_proposal_).
22 |   </emu-alg>
23 | </emu-clause>
24 | 


--------------------------------------------------------------------------------