From 376e08b25ebfba2ee3d23fb877c77d166b0f57fd Mon Sep 17 00:00:00 2001 From: Christian Liebel Date: Sat, 6 Jul 2024 15:02:28 +0200 Subject: [PATCH] Ran tidy --- index.html | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index e80bff9b..bc6b5150 100644 --- a/index.html +++ b/index.html @@ -1223,7 +1223,8 @@

  • [=list/For each=] |entry:ordered map| of |json|["shortcuts"]:
    1. Let |shortcut:ordered map| be [=process a shortcut=] with - |entry|, |manifest URL|, |manifest|["scope"], and |manifest|["dir"]. + |entry|, |manifest URL|, |manifest|["scope"], and + |manifest|["dir"].
    2. If |shortcut| is failure, continue.
    3. @@ -2307,8 +2308,8 @@

      To process a shortcut, given [=ordered map=] |item:ordered - map|, [=URL=] |manifest URL:URL|, [=URL=] |scope:URL|, and [=text-direction=] |manifest - direction:string|: + map|, [=URL=] |manifest URL:URL|, [=URL=] |scope:URL|, and + [=text-direction=] |manifest direction:string|:

      1. Return failure if it's the case that: