diff --git a/index.bs b/index.bs
index 18c366d..3b76f80 100644
--- a/index.bs
+++ b/index.bs
@@ -1217,17 +1217,13 @@ urlPrefix: https://w3c.github.io/FileAPI/#dfn-; type: dfn;
 	These clipboard permissions are <a>powerful feature</a>s
 	permission-related algorithms and types are defined as follows:
 
-	<dl>
-	<dt>
-		<a>permission descriptor type</a>
-	</dt>
-	<dd>
+	: <a>permission descriptor type</a>
+	::
 		<pre class="idl">
 			dictionary ClipboardPermissionDescriptor : PermissionDescriptor {
 				boolean allowWithoutGesture = false;
 			};
 		</pre>
-	</dd>
 
 	There are 4 clipboard permissions: