From 5bf83a7e59f7fe5f9acbe1c92108347123695679 Mon Sep 17 00:00:00 2001
From: sawka <mike.sawka@gmail.com>
Date: Thu, 26 Oct 2023 15:08:21 -0700
Subject: [PATCH] move to 12.5px font for sizebar, increase icon size

---
 src/app/app.less                   | 18 ++++++++++++++++++
 src/app/common/themes/themes.less  |  2 ++
 src/app/sidebar/sidebar.less       | 14 ++++++++------
 src/app/workspace/screen/tabs.less |  1 +
 4 files changed, 29 insertions(+), 6 deletions(-)

diff --git a/src/app/app.less b/src/app/app.less
index da93e0f6..68608e3b 100644
--- a/src/app/app.less
+++ b/src/app/app.less
@@ -36,6 +36,24 @@ textarea {
     color: @base-color;
 }
 
+// typography
+.text-s1 {
+    font-size: 12.5px;
+    font-weight: 300;
+    line-height: 20px;
+    font-family: @text-s1-font;
+
+    .icon {
+        width: 16px;
+        height: 16px;
+    }
+}
+
+.text-s1.icon {
+    width: 16px;
+    height: 16px;
+}
+
 body code {
     font-family: @terminal-font;
 }
diff --git a/src/app/common/themes/themes.less b/src/app/common/themes/themes.less
index ba4337e7..e4fa77cf 100644
--- a/src/app/common/themes/themes.less
+++ b/src/app/common/themes/themes.less
@@ -56,6 +56,8 @@
 @fixed-font: "Martian Mono", sans-serif;
 @terminal-font: "JetBrains Mono", sans-serif;
 
+@text-s1-font: "Martian Mono", sans-serif;
+
 // to match Github
 @markdown-font: -apple-system, BlinkMacSystemFont, "Segoe UI", "Noto Sans", Helvetica, Arial, sans-serif,
     "Apple Color Emoji", "Segoe UI Emoji";
diff --git a/src/app/sidebar/sidebar.less b/src/app/sidebar/sidebar.less
index 1570d546..0a4c5e32 100644
--- a/src/app/sidebar/sidebar.less
+++ b/src/app/sidebar/sidebar.less
@@ -7,6 +7,8 @@
     display: flex;
     flex-direction: column;
     position: relative;
+    font-size: 12.5px;
+    line-height: 20px;
 
     .title-bar-drag {
         -webkit-app-region: drag;
@@ -32,7 +34,7 @@
 
     .arrow-container {
         position: absolute;
-        top: 2em;
+        top: 1em;
         right: 2em;
         width: 1.5em;
         height: 1.5em;
@@ -45,7 +47,7 @@
     }
 
     .top {
-        margin-top: 4em;
+        margin-top: 32px;
     }
 
     .separator {
@@ -89,7 +91,7 @@
     }
 
     .item {
-        padding: 6px;
+        padding: 5px;
         margin: 0 6px;
         border-radius: 4px;
         opacity: 1;
@@ -101,9 +103,9 @@
             vertical-align: middle;
         }
         .icon {
-            margin: 0 0.5em 2px 0.5em;
-            width: 1em;
-            height: 1em;
+            margin: -2px 8px 0px 4px;
+            width: 16px;
+            height: 16px;
             display: inline-block;
             vertical-align: middle;
             border-radius: 50%;
diff --git a/src/app/workspace/screen/tabs.less b/src/app/workspace/screen/tabs.less
index 503f9bb1..95a3fbea 100644
--- a/src/app/workspace/screen/tabs.less
+++ b/src/app/workspace/screen/tabs.less
@@ -3,6 +3,7 @@
 #main .screen-tabs .screen-tab {
     border-radius: 12px 0px 0px 0px;
     border-top: 1px solid transparent;
+    font-size: 12.5px;
 
     &.color-default {
         svg.left-icon path {