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 8282aa85f2
commit b50da23bb1

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%')