Restore main element for #ide-root (#28238)

GitOrigin-RevId: f0edb36d8297a05278ad82b9cd5ca852479e9ca5
This commit is contained in:
Alf Eaton
2025-09-02 12:36:09 +01:00
committed by Copybot
parent b4cf19c3de
commit bbfda3b94c
+2 -1
View File
@@ -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%')