From 52618bab829e183a3bb45d9a22e67e665f8e7c3e Mon Sep 17 00:00:00 2001
From: Dominique Hazael-Massieux <dom@w3.org>
Date: Fri, 23 Aug 2024 12:45:25 +0200
Subject: [PATCH] Avoid re-dfn-ing terms in monkey patches

This helps avoid creating duplicate `dfn` when extracted for re-use by Bikeshed
---
 isolated-contexts.bs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/isolated-contexts.bs b/isolated-contexts.bs
index c94abc9..60b937a 100644
--- a/isolated-contexts.bs
+++ b/isolated-contexts.bs
@@ -576,8 +576,8 @@ and a [=response=] |response|, run these steps. Possible return values are
 ### Patches to the "Main Fetch" algorithm ### {#fetch-main-fetch}
 The [=main fetch=] algorithm is extended as follows:
 
-<div algorithm>
-To <dfn id="monkey-main-fetch">main fetch</dfn>, given a
+<div>
+To <strong id="monkey-main-fetch">main fetch</strong>, given a
 [=fetch params=] |fetchParams| and an optional boolean
 <var ignore>recursive</var> (default false), run these steps:
 
@@ -660,9 +660,9 @@ that does specify [{{IsolatedContext}}].
 WebIDL's [=exposed=] algorithm is adjusted as follows, adding a single step
 after similarly handling [{{CrossOriginIsolated}}] (step 4 below).
 
-<div algorithm>
+<div>
   An [=interface=], [=callback interface=], [=namespace=], or [=member=]
-  |construct| is <dfn id="dfn-exposed" export>exposed</dfn> in a given
+  |construct| is <strong id="dfn-exposed" export>exposed</strong> in a given
   [=realm=] |realm| if the following steps return true:
 
   <ol>