move to 12.5px font for sizebar, increase icon size

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;
 }

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";

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%;

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 {