From cd12b60c97241f744b674f21b79e87c0de83384a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Daoust?= <fd@tidoust.net>
Date: Tue, 7 Jan 2025 02:27:21 +0000
Subject: [PATCH] Use `<code>` for references to a CDDL type (#85)

SHA: baa93602bdc03a5531bb7e32e5b277795595035e
Reason: push, by jugglinmike

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
---
 index.html | 21 +++++++--------------
 1 file changed, 7 insertions(+), 14 deletions(-)

diff --git a/index.html b/index.html
index d50fb51..e3b50e2 100644
--- a/index.html
+++ b/index.html
@@ -8,7 +8,7 @@
   <meta content="Bikeshed version ac5ea272d, updated Fri Dec 6 15:45:15 2024 -0800" name="generator">
   <link href="https://w3c.github.io/at-driver/" rel="canonical">
   <link href="https://www.w3.org/2008/site/images/favicon.ico" rel="icon">
-  <meta content="7cb6e57b286bb822c59ac5f7b06af408cb481436" name="revision">
+  <meta content="baa93602bdc03a5531bb7e32e5b277795595035e" name="revision">
   <meta content="dark light" name="color-scheme">
   <link href="https://www.w3.org/StyleSheets/TR/2021/dark.css" media="(prefers-color-scheme: dark)" rel="stylesheet" type="text/css">
 <style>
@@ -748,7 +748,7 @@
   <div class="head">
    <p data-fill-with="logo"><a class="logo" href="https://www.w3.org/"> <img alt="W3C" height="48" src="https://www.w3.org/StyleSheets/TR/2021/logos/W3C" width="72"> </a> </p>
    <h1 class="p-name no-ref" id="title">AT Driver</h1>
-   <p id="w3c-state"><a href="https://www.w3.org/standards/types/#ED">Editor’s Draft</a>, <time class="dt-updated" datetime="2024-12-18">18 December 2024</time></p>
+   <p id="w3c-state"><a href="https://www.w3.org/standards/types/#ED">Editor’s Draft</a>, <time class="dt-updated" datetime="2025-01-07">7 January 2025</time></p>
    <details open>
     <summary>More details about this document</summary>
     <div data-fill-with="spec-metadata">
@@ -766,7 +766,7 @@ <h1 class="p-name no-ref" id="title">AT Driver</h1>
     </div>
    </details>
    <div data-fill-with="warning"></div>
-   <p class="copyright" data-fill-with="copyright"><a href="https://www.w3.org/policies/#copyright">Copyright</a> © 2024 <a href="https://www.w3.org/">World Wide Web Consortium</a>. <abbr title="World Wide Web Consortium">W3C</abbr><sup>®</sup> <a href="https://www.w3.org/policies/#Legal_Disclaimer">liability</a>, <a href="https://www.w3.org/policies/#W3C_Trademarks">trademark</a> and <a href="https://www.w3.org/copyright/software-license/" rel="license" title="W3C Software and Document License">permissive document license</a> rules apply. </p>
+   <p class="copyright" data-fill-with="copyright"><a href="https://www.w3.org/policies/#copyright">Copyright</a> © 2025 <a href="https://www.w3.org/">World Wide Web Consortium</a>. <abbr title="World Wide Web Consortium">W3C</abbr><sup>®</sup> <a href="https://www.w3.org/policies/#Legal_Disclaimer">liability</a>, <a href="https://www.w3.org/policies/#W3C_Trademarks">trademark</a> and <a href="https://www.w3.org/copyright/software-license/" rel="license" title="W3C Software and Document License">permissive document license</a> rules apply. </p>
    <hr title="Separator for header">
   </div>
   <div class="p-summary" data-fill-with="abstract">
@@ -1572,9 +1572,7 @@ <h5 class="heading settled" data-level="7.2.3.1" id="command-settings-set-settin
 }
 </pre>
     <dt><a data-link-type="dfn" href="#result-type" id="ref-for-result-type③">Result Type</a>
-    <dd>
-<pre class="cddl">EmptyResult
-</pre>
+    <dd> <code> EmptyResult </code> 
    </dl>
    <div class="algorithm" data-algorithm="remote end steps for settings.setSettings">
     <p>The <a data-link-type="dfn" href="#remote-end-steps" id="ref-for-remote-end-steps②">remote end steps</a> given <var>session</var> and <var>command parameters</var> are:</p>
@@ -1617,9 +1615,7 @@ <h5 class="heading settled" data-level="7.2.3.2" id="command-settings-get-settin
 }
 </pre>
     <dt><a data-link-type="dfn" href="#result-type" id="ref-for-result-type④">Result Type</a>
-    <dd>
-<pre class="cddl">SettingsGetSettingsResult
-</pre>
+    <dd> <code> SettingsGetSettingsResult </code> 
    </dl>
    <div class="algorithm" data-algorithm="remote end steps for settings.getSettings">
     <p>The <a data-link-type="dfn" href="#remote-end-steps" id="ref-for-remote-end-steps③">remote end steps</a> given <var>session</var> and <var>command parameters</var> are:</p>
@@ -1641,9 +1637,7 @@ <h5 class="heading settled" data-level="7.2.3.3" id="command-settings-get-suppor
 }
 </pre>
     <dt><a data-link-type="dfn" href="#result-type" id="ref-for-result-type⑤">Result Type</a>
-    <dd>
-<pre class="cddl">SettingsGetSettingsResult
-</pre>
+    <dd> <code> SettingsGetSettingsResult </code> 
    </dl>
    <div class="algorithm" data-algorithm="remote end steps for settings.getSupportedSettings">
     <p>The <a data-link-type="dfn" href="#remote-end-steps" id="ref-for-remote-end-steps④">remote end steps</a> given <var>session</var> and <var>command parameters</var> are:</p>
@@ -1710,8 +1704,7 @@ <h5 class="heading settled" data-level="7.3.3.1" id="module-interaction-presskey
 </pre>
     <dt>Result Type 
     <dd>
-<pre class="cddl">EmptyResult
-</pre>
+     <p><code> EmptyResult </code></p>
    </dl>
    <p class="note" role="note"><span class="marker">Note:</span> Each string in <code>KeyCombination</code> represents a "raw key" consisting of a
 single code point with the same meaning as in <a href="https://w3c.github.io/webdriver/#keyboard-actions">WebDriver’s keyboard