From d06d882e2ddfd4dcdd23397266df2f12a1325329 Mon Sep 17 00:00:00 2001
From: James Clarke <james@edgedb.com>
Date: Fri, 29 Nov 2024 20:50:16 +0000
Subject: [PATCH] Tweak repl ascii logo

---
 shared/studio/tabs/repl/index.tsx        |  2 +-
 shared/studio/tabs/repl/repl.module.scss | 39 +++++++++---------------
 2 files changed, 15 insertions(+), 26 deletions(-)

diff --git a/shared/studio/tabs/repl/index.tsx b/shared/studio/tabs/repl/index.tsx
index f59d003..5e2fc9e 100644
--- a/shared/studio/tabs/repl/index.tsx
+++ b/shared/studio/tabs/repl/index.tsx
@@ -159,7 +159,7 @@ const ReplList = observer(function ReplList({
   const isMobile = useIsMobile();
 
   const headerHeight =
-    (isMobile ? 320 : 288) + (replState._hasUnfetchedHistory ? 34 : 0);
+    (isMobile ? 360 : 275) + (replState._hasUnfetchedHistory ? 34 : 0);
 
   useEffect(() => {
     replState.scrollRef = ref.current;
diff --git a/shared/studio/tabs/repl/repl.module.scss b/shared/studio/tabs/repl/repl.module.scss
index 45f08ca..f0a95b3 100644
--- a/shared/studio/tabs/repl/repl.module.scss
+++ b/shared/studio/tabs/repl/repl.module.scss
@@ -70,7 +70,7 @@
   .headerAscii {
     white-space: pre;
     font-size: 14px;
-    line-height: 16px;
+    line-height: 15px;
     color: #cc960a;
 
     span {
@@ -79,16 +79,16 @@
   }
 
   .headerMsg {
-    margin-top: 16px * -3;
+    margin-top: 15px * -3;
     margin-left: 16ch;
     padding-bottom: 16px;
-    line-height: 16px;
-    color: var(--Grey60);
+    line-height: 20px;
+    color: var(--tertiary_text_color);
 
     span {
       text-decoration: underline;
       cursor: pointer;
-      color: var(--baseTextLightTheme);
+      color: var(--main_text_color);
     }
 
     @include darkTheme {
@@ -98,31 +98,20 @@
         color: var(--grey75);
       }
     }
-
-    @include breakpoint(mobile) {
-      margin-top: 24px;
-      color: var(--baseTextLightTheme);
-
-      span {
-        color: var(--grey50);
-      }
-
-      @include darkTheme {
-        color: var(--grey60);
-
-        span {
-          color: var(--baseTextDarkTheme);
-        }
-      }
-    }
   }
 
   @include breakpoint(mobile) {
-    padding: 24px;
+    padding: 0 16px;
 
     .headerAscii {
-      font-size: 8px;
-      line-height: 9px;
+      font-size: 12px;
+      line-height: 13px;
+    }
+
+    .headerMsg {
+      margin-left: 8px;
+      margin-top: 16px;
+      line-height: 20px;
     }
   }
 }