From 9c79afda35e47d6b5b4b3b9abdc334d9ae60a865 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E4=B8=B6=E8=BF=9C=E6=96=B9?= <yangpanteng@gmail.com>
Date: Sat, 24 Jun 2023 13:17:38 +0800
Subject: [PATCH 1/3] style: override the REPL height to `100vh` in
 `index.html`

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index a6b644cc..3575dc21 100644
--- a/index.html
+++ b/index.html
@@ -10,7 +10,7 @@
         margin: 0;
       }
       .vue-repl {
-        height: 100vh;
+        height: 100vh !important;
       }
     </style>
 

From e5c0f5faa5320111d49f8a881768d4d5d3c61379 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E4=B8=B6=E8=BF=9C=E6=96=B9?= <yangpanteng@gmail.com>
Date: Sat, 24 Jun 2023 13:18:32 +0800
Subject: [PATCH 2/3] Revert "style: override the REPL height to `100vh` in
 `index.html`"

This reverts commit 9c79afda35e47d6b5b4b3b9abdc334d9ae60a865.
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 3575dc21..a6b644cc 100644
--- a/index.html
+++ b/index.html
@@ -10,7 +10,7 @@
         margin: 0;
       }
       .vue-repl {
-        height: 100vh !important;
+        height: 100vh;
       }
     </style>
 

From 0fdfbb46362443757f6db52d43c4f84fd2b2c034 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E4=B8=B6=E8=BF=9C=E6=96=B9?= <yangpanteng@gmail.com>
Date: Sat, 24 Jun 2023 13:21:03 +0800
Subject: [PATCH 3/3] style: override the REPL height to `100vh` in
 `index.html`

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index a6b644cc..3575dc21 100644
--- a/index.html
+++ b/index.html
@@ -10,7 +10,7 @@
         margin: 0;
       }
       .vue-repl {
-        height: 100vh;
+        height: 100vh !important;
       }
     </style>