From a3a5ffe651d3dee777a01e8c332505af7e50d726 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Fri, 15 Sep 2023 09:10:57 -0700
Subject: [PATCH] Adjust Default tab heights

---
 css/main.css | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/css/main.css b/css/main.css
index b5135911..06569f7f 100644
--- a/css/main.css
+++ b/css/main.css
@@ -108,11 +108,11 @@ div.svelte-15lo0d8 > *, div.svelte-15lo0d8 > .form > * {
 }
 
 .textbox_default textarea {
-    height: calc(100dvh - 280px);
+    height: calc(100dvh - 271px);
 }
 
 .textbox_default_output textarea {
-    height: calc(100dvh - 190px);
+    height: calc(100dvh - 181px);
 }
 
 .textbox textarea {
@@ -143,11 +143,11 @@ div.svelte-15lo0d8 > *, div.svelte-15lo0d8 > .form > * {
 
 @media screen and (max-width: 711px) {
     .textbox_default textarea {
-        height: calc(100dvh - 261px);
+        height: calc(100dvh - 259px);
     }
 
     div .default-token-counter {
-        top: calc( 0.5 * (100dvh - 238px) ) !important;
+        top: calc( 0.5 * (100dvh - 236px) ) !important;
     }
 
     .transparent-substring {
@@ -238,7 +238,7 @@ audio {
 }
 
 .default-token-counter {
-  top: calc( 0.5 * (100dvh - 257px) ) !important;
+  top: calc( 0.5 * (100dvh - 248px) ) !important;
 }
 
 .token-counter span {