From b50da23bb192072e491df2aaa09bfb55c3234508 Mon Sep 17 00:00:00 2001
From: Alf Eaton <alf.eaton@overleaf.com>
Date: Tue, 2 Sep 2025 12:36:09 +0100
Subject: [PATCH] Restore main element for #ide-root (#28238)

GitOrigin-RevId: f0edb36d8297a05278ad82b9cd5ca852479e9ca5
---
 services/web/app/views/project/ide-react.pug | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/services/web/app/views/project/ide-react.pug b/services/web/app/views/project/ide-react.pug
index 135e28f0f0..db9669ec2f 100644
--- a/services/web/app/views/project/ide-react.pug
+++ b/services/web/app/views/project/ide-react.pug
@@ -12,7 +12,8 @@ block entrypointVar
 	- entrypoint = 'pages/ide'
 
 block content
-	#ide-root
+	//- TODO: remove `main` once it's no longer needed by browser extensions
+	main#ide-root
 		.loading-screen
 			.loading-screen-brand-container
 				.loading-screen-brand(style='height: 20%')