[code] refactor: Move style from root to css file

ejgallego · Mar 7, 2023 · 43b9470 · 43b9470
1 parent 399be5d
commit 43b9470
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/editor/code/src/goals.ts b/editor/code/src/goals.ts
@@ -50,7 +50,7 @@ export class InfoPanel {
         <title>Coq's info panel</title>
     </head>
     <body>
-    <div id="root" style="height:100vh;">
+    <div id="root">
     </div>
     </body>
     </html>`;

diff --git a/editor/code/views/info/media/index.css b/editor/code/views/info/media/index.css
@@ -4,3 +4,7 @@ body {
   font-family: var(--vscode-editor-font-family);
   /* font-family: 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif; */
 }
+
+#root {
+  height: 100vh;
+}