add terminal resizer

jcubic · Feb 23, 2024 · de81bd6 · de81bd6
1 parent 15051c0
commit de81bd6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/src/components/Interpreter/styles.css b/docs/src/components/Interpreter/styles.css
@@ -2,6 +2,9 @@
     --background: #14232d;
     --color: white;
     height: calc((var(--size, 1) * 14 * 12px) + 20px);
+    min-height: calc((var(--size, 1) * 5 * 12px) + 20px);
+    resize: vertical;
+    overflow: hidden;
 }
 .intro .term:not(.terminal) {
     background: var(--background);