From 6682fc9234f0b8dd83abf796be21258ca2edbc6f Mon Sep 17 00:00:00 2001
From: sawka <mike.sawka@gmail.com>
Date: Mon, 3 Jun 2024 22:26:12 -0700
Subject: [PATCH] small change to tab bar

---
 frontend/app/workspace/workspace.less | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontend/app/workspace/workspace.less b/frontend/app/workspace/workspace.less
index a37ced56..554c4fc7 100644
--- a/frontend/app/workspace/workspace.less
+++ b/frontend/app/workspace/workspace.less
@@ -43,7 +43,7 @@
 .tab-bar {
     display: flex;
     flex-direction: row;
-    height: 35px;
+    height: 32px;
     border-bottom: 1px solid var(--border-color);
     flex-shrink: 0;
 
@@ -53,6 +53,7 @@
         align-items: center;
         width: 100px;
         height: 100%;
+        font-weight: bold;
         border-right: 1px solid var(--border-color);
         cursor: pointer;
         position: relative;