From 506ad07e25ff01adb5316725023c478aa4181e8e Mon Sep 17 00:00:00 2001
From: Tab Atkins Jr <jackalmage@gmail.com>
Date: Thu, 24 Feb 2022 12:13:40 -0800
Subject: [PATCH] Fix broken markup

Your `dl` was unclosed. Went ahead and switched it to Markdown, as that requires less tracking anyway.
---
 index.bs | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/index.bs b/index.bs
index 04171d6..c27fa5a 100644
--- a/index.bs
+++ b/index.bs
@@ -936,17 +936,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: