From b472143882cdaf90502db0c2a7da25b5fd78f30f Mon Sep 17 00:00:00 2001
From: Peter Steinberger <steipete@gmail.com>
Date: Tue, 6 Jan 2026 07:57:38 +0100
Subject: [PATCH] chore: update terminal css

---
 docs/assets/terminal.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/docs/assets/terminal.css b/docs/assets/terminal.css
index 00242acb12..23283d6511 100644
--- a/docs/assets/terminal.css
+++ b/docs/assets/terminal.css
@@ -70,11 +70,14 @@ html[data-theme="dark"] {
   box-sizing: border-box;
 }
 
-html,
-body {
+html {
   height: 100%;
 }
 
+body {
+  min-height: 100%;
+}
+
 body {
   margin: 0;
   font-family: var(--font-body);