From 5c187f34c9f6759b02eae127e1b0c3b90fa5be92 Mon Sep 17 00:00:00 2001
From: Roman Hotsiy <gotsijroman@gmail.com>
Date: Fri, 10 May 2019 18:04:06 +0300
Subject: [PATCH] fix: remove tabs top margin

---
 src/common-elements/tabs.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/common-elements/tabs.ts b/src/common-elements/tabs.ts
index ace8d7eb4d..f122979626 100644
--- a/src/common-elements/tabs.ts
+++ b/src/common-elements/tabs.ts
@@ -22,7 +22,8 @@ export const Tabs = styled(ReactTabs)`
       text-align: center;
       outline: none;
       color: ${({ theme }) => darken(theme.colors.tonalOffset, theme.rightPanel.textColor)};
-      margin: 5px;
+      margin: 0
+        ${({ theme }) => `${theme.spacing.unit}px ${theme.spacing.unit}px ${theme.spacing.unit}px`};
       border: 1px solid ${({ theme }) => darken(0.05, theme.codeSample.backgroundColor)};
       border-radius: 5px;
       min-width: 60px;