From b0c023eb076628ef64de387cdc03eae4dc4937a0 Mon Sep 17 00:00:00 2001
From: Jakub Jankiewicz <jcubic@onet.pl>
Date: Mon, 25 Mar 2024 14:15:53 +0100
Subject: [PATCH] fix full screen terminal after resize

---
 docs/src/components/Interpreter/styles.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/components/Interpreter/styles.css b/docs/src/components/Interpreter/styles.css
index acd871a36..53bb33b4c 100644
--- a/docs/src/components/Interpreter/styles.css
+++ b/docs/src/components/Interpreter/styles.css
@@ -48,7 +48,7 @@ body.full-screen .term {
     bottom: 0;
     left: 0;
     z-index: 300;
-    height: auto;
+    height: auto !important;
 }
 .full-screen .intro .actions-wrapper {
     z-index: 400;