Tweak repl ascii logo

edgedb · Nov 29, 2024 · d06d882 · d06d882
1 parent f6e50cf
commit d06d882
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 26 deletions.
diff --git 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
@@ -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;
     }
   }
 }