From 231a4545655f6a690a7707ef00bb1942f8d173ff Mon Sep 17 00:00:00 2001
From: Maksim Sadym <sadym@chromium.org>
Date: Tue, 24 Jun 2025 12:24:33 +0200
Subject: [PATCH 1/2] fix cddl

---
 index.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/index.html b/index.html
index 265278f..8e73e38 100644
--- a/index.html
+++ b/index.html
@@ -1375,7 +1375,7 @@ <h5 id="webdriver-bidi-module-permissions-definition">
             <p>
               [=remote end definition=]
             </p>
-            <pre class="cddl remote-cddl">
+            <pre class="cddl" data-cddl-module="remote-cddl">
               PermissionsCommand = (
                 permissions.setPermission
               )
@@ -1389,7 +1389,7 @@ <h5 id="webdriver-bidi-module-permissions-types">
               <h6 id="webdriver-bidi-type-permissions-PermissionDescriptor">
                 The permissions.PermissionDescriptor Type
               </h6>
-              <pre class="cddl local-cddl">
+              <pre class="cddl" data-cddl-module="local-cddl">
                 permissions.PermissionDescriptor = {
                   name: text,
                 }
@@ -1402,7 +1402,7 @@ <h6 id="webdriver-bidi-type-permissions-PermissionDescriptor">
               <h6 id="webdriver-bidi-type-permissions-PermissionState">
                 The permissions.PermissionState Type
               </h6>
-              <pre class="cddl local-cddl">
+              <pre class="cddl" data-cddl-module="local-cddl">
                 permissions.PermissionState = "granted" / "denied" / "prompt"
               </pre>
               <p>
@@ -1427,7 +1427,7 @@ <h6 id="webdriver-bidi-command-permissions-setPermission">
                   Command Type
                 </dt>
                 <dd>
-                  <pre class="cddl remote-cddl">
+                  <pre class="cddl" data-cddl-module="remote-cddl">
                     permissions.setPermission = (
                       method: "permissions.setPermission",
                       params: permissions.SetPermissionParameters

From 67ab4c0e9737893896254dee98edfd702abcc6cc Mon Sep 17 00:00:00 2001
From: Maksim Sadym <sadym@chromium.org>
Date: Tue, 24 Jun 2025 12:59:35 +0200
Subject: [PATCH 2/2] fix import

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 8e73e38..ae14061 100644
--- a/index.html
+++ b/index.html
@@ -1373,7 +1373,7 @@ <h5 id="webdriver-bidi-module-permissions-definition">
               Definition
             </h5>
             <p>
-              [=remote end definition=]
+              {^remote end definition^}
             </p>
             <pre class="cddl" data-cddl-module="remote-cddl">
               PermissionsCommand = (