From cc38499eee3dd0f80c16f64ba8a40de0337afb33 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Mon, 6 Oct 2025 13:03:25 -0400 Subject: [PATCH] chore(tidy): tidy up document --- index.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/index.html b/index.html index ce959ad..72bf34d 100644 --- a/index.html +++ b/index.html @@ -639,7 +639,7 @@

The default permission key generation algorithm, given an - [=origin=] |origin| and an [=origin=] |embedded origin|, runs the following steps: + [=origin=] |origin| and an [=origin=] |embedded origin|, runs the following steps:

  1. Return |origin|. @@ -806,8 +806,8 @@

  2. Let |key| be the result of [=powerful feature/permission key generation algorithm|generating a permission key=] for |descriptor| with |settings|'s - [=environment/top-level origin=] and |settings|'s - [=environment settings object/origin=]. + [=environment/top-level origin=] and |settings|'s [=environment settings + object/origin=].
  3. Let |entry| be the result of [=get a permission store entry|getting a permission store entry=] with |descriptor| and |key|. @@ -1265,9 +1265,9 @@

    comparison algorithm=] for |descriptor|, given |settings key| and |key|.

  4. If |matches|, then [=list/append=] |settings| to |targets|. +
-
  • Let |tasks| be an empty list.
  • [=list/For each=] [=environment settings object=] |target| in |targets|: @@ -1500,8 +1500,8 @@
  • Let |origin| be the value of the `origin` field of |command parameters|.
  • -
  • Let |embedded origin| be the value of the `embeddedOrigin` field of - |command parameters|, if present, and |origin| otherwise. +
  • Let |embedded origin| be the value of the `embeddedOrigin` field of |command + parameters|, if present, and |origin| otherwise.
  • Let |key| be the result of [=powerful feature/permission key generation algorithm|generating a permission key=] for |descriptor| with |origin| and