diff --git a/website/.astro/settings.json b/website/.astro/settings.json
new file mode 100644
index 00000000..bf82959b
--- /dev/null
+++ b/website/.astro/settings.json
@@ -0,0 +1,5 @@
+{
+ "devToolbar": {
+ "enabled": false
+ }
+}
\ No newline at end of file
diff --git a/website/src/env.d.ts b/website/src/env.d.ts
index 8959d4d6..5263bd6a 100644
--- a/website/src/env.d.ts
+++ b/website/src/env.d.ts
@@ -1,3 +1,4 @@
+///
///
///
///
diff --git a/website/src/repl/Repl.css b/website/src/repl/Repl.css
index 9c4a440d..2d97d8a2 100644
--- a/website/src/repl/Repl.css
+++ b/website/src/repl/Repl.css
@@ -24,9 +24,12 @@
#code .cm-scroller {
padding-top: 10px !important;
- padding-bottom: 50vh;
+ height: 100%;
font-family: inherit;
}
+#code .cm-content {
+ padding-bottom: 50vh;
+}
#code .cm-line > * {
background: var(--lineBackground);
}
diff --git a/website/src/repl/Repl.jsx b/website/src/repl/Repl.jsx
index 98840e43..d53e7e5b 100644
--- a/website/src/repl/Repl.jsx
+++ b/website/src/repl/Repl.jsx
@@ -21,7 +21,6 @@ import {
} from '../settings.mjs';
import { Header } from './Header';
import Loader from './Loader';
-import './Repl.css';
import { Panel } from './panel/Panel';
import { useStore } from '@nanostores/react';
import { prebake } from './prebake.mjs';