From d867ae8a8818ae3d7fe2ab8b204a6b1d11b89d0e Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 7 Aug 2024 11:39:22 +1000 Subject: [PATCH] chore: tidy up index.html (#153) Co-authored-by: marcoscaceres <870154+marcoscaceres@users.noreply.github.com> --- index.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/index.html b/index.html index 79a1f00..63f779e 100644 --- a/index.html +++ b/index.html @@ -302,12 +302,12 @@

  • [=Consume user activation=] of |window|.
  • Let |providers| be |options|'s - {{DigitalCredentialRequestOptions/digital}}'s - {{IdentityRequestProvider/providers}} member. -
  • -
  • If |providers| is empty, [=exception/throw=] a {{"TypeError"}} - {{DOMException}}. -
  • + {{DigitalCredentialRequestOptions/digital}}'s + {{IdentityRequestProvider/providers}} member. + +
  • If |providers| is empty, [=exception/throw=] a {{"TypeError"}} + {{DOMException}}. +