From b519b6c33740bc78e00a8498ebf5880276267eee Mon Sep 17 00:00:00 2001
From: Francois Daoust <fd@tidoust.net>
Date: Thu, 19 Dec 2024 21:26:56 +0100
Subject: [PATCH] Use `<code>` for references to a CDDL type

See https://github.com/w3c/webdriver-bidi/pull/831 for background.
---
 index.bs | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/index.bs b/index.bs
index d416705..3f78caf 100644
--- a/index.bs
+++ b/index.bs
@@ -720,9 +720,9 @@ Issue: Require implementations to report failures in settings modification opera
   </dd>
   <dt>[=Result Type=]</dt>
   <dd>
-    <xmp class="cddl">
+    <code>
     EmptyResult
-    </xmp>
+    </code>
   </dd>
 </dl>
 
@@ -765,9 +765,9 @@ The <dfn>settings.getSettings command</dfn> returns a list of the requested sett
   </dd>
   <dt>[=Result Type=]</dt>
   <dd>
-    <xmp class="cddl">
+    <code>
     SettingsGetSettingsResult
-    </xmp>
+    </code>
   </dd>
 </dl>
 
@@ -796,9 +796,9 @@ The <dfn>settings.getSupportedSettings command</dfn> returns a list of all setti
   </dd>
   <dt>[=Result Type=]</dt>
   <dd>
-    <xmp class="cddl">
+    <code>
     SettingsGetSettingsResult
-    </xmp>
+    </code>
   </dd>
 </dl>
 
@@ -882,9 +882,9 @@ Issue(51): This algorithm only supports one specific kind of press/release seque
   <dt>Result Type
   <dd>
 
-  <pre class="cddl">
+  <code>
   EmptyResult
-  </pre>
+  </code>
 
 </dl>