From de81bd6990c3a07a1543d64bae765107bee82ef8 Mon Sep 17 00:00:00 2001
From: Jakub Jankiewicz <jcubic@onet.pl>
Date: Fri, 23 Feb 2024 18:17:39 +0100
Subject: [PATCH] add terminal resizer

---
 docs/src/components/Interpreter/styles.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/src/components/Interpreter/styles.css b/docs/src/components/Interpreter/styles.css
index ded1d1eb2..6762dd20b 100644
--- 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);