Fix syntax highlighting tags

index.bs

@@ -5669,7 +5669,7 @@ Below is an example of a COSE_Key-encoded Elliptic Curve public key in EC2 forma
 on the P-256 curve, to be used with the ES256 signature
 algorithm (ECDSA w/ SHA-256, see [=Section 2.1=] of [[!RFC9053]]):
 
-<xmp class="example" highlight="json">
+<xmp class="example" highlight="cddl">
   {
     1:   2,  ; kty: EC2 key type
     3:  -7,  ; alg: ES256 signature algorithm
@@ -5684,7 +5684,7 @@ algorithm (ECDSA w/ SHA-256, see [=Section 2.1=] of [[!RFC9053]]):
 Below is the above Elliptic Curve public key encoded in the [=CTAP2 canonical CBOR encoding form=], whitespace and line breaks
 are included here for clarity and to match the CDDL [[!RFC8610]] presentation above:
 
-<xmp class="example" highlight="json">
+<xmp class="example">
   A5
      01  02
 
@@ -5702,7 +5702,7 @@ Below is an example of a COSE_Key-encoded 2048-bit RSA public key (see [[RFC8230
 to be used with the PS256 signature algorithm
 (RSASSA-PSS with SHA-256, see [=RFC8230/Section 2=] of [[RFC8230]]:
 
-<xmp class="example" highlight="json">
+<xmp class="example" highlight="cddl">
   {
     1:   3,  ; kty: RSA key type
     3: -37,  ; alg: PS256
@@ -5716,7 +5716,7 @@ to be used with the PS256 signature algorithm
 Below is an example of the same COSE_Key-encoded RSA public key as above,
 to be used with the RS256 signature algorithm (RSASSA-PKCS1-v1_5 with SHA-256):
 
-<xmp class="example" highlight="json">
+<xmp class="example" highlight="cddl">
   {
     1:   3,  ; kty: RSA key type
     3:-257,  ; alg: RS256
@@ -7077,7 +7077,7 @@ The following example defines that an extension with [=extension identifier|iden
 takes an unsigned integer as [=authenticator extension input=],
 and returns an array of at least one byte string as [=authenticator extension output=]:
 
-<xmp class="example">
+<xmp class="example" highlight="cddl">
     $$extensionInput //= (
       webauthnExample_foobar: uint
     )