From 589de854d55523c0166918fe5dcc3f9bf5eabd29 Mon Sep 17 00:00:00 2001
From: Alan Ren <alanren@microsoft.com>
Date: Thu, 2 Apr 2020 21:35:18 -0700
Subject: [PATCH] revert the changes impacting query editor and profiler editor
 (#9842)

* add the panel top border back

* more changes

* min-width and line height
---
 src/sql/base/browser/ui/panel/media/panel.css | 31 ++++++++++++++-----
 .../modelComponents/media/tabbedPanel.css     |  4 +++
 2 files changed, 28 insertions(+), 7 deletions(-)

diff --git a/src/sql/base/browser/ui/panel/media/panel.css b/src/sql/base/browser/ui/panel/media/panel.css
index 23b65ee8de..fe2215f198 100644
--- a/src/sql/base/browser/ui/panel/media/panel.css
+++ b/src/sql/base/browser/ui/panel/media/panel.css
@@ -4,6 +4,9 @@
  *--------------------------------------------------------------------------------------------*/
 
 .tabbedPanel {
+	border-top-color: rgba(128, 128, 128, 0.35);
+	border-top-width: 1px;
+	border-top-style: solid;
 	box-sizing: border-box;
 	display: flex;
 	flex-direction: column;
@@ -15,7 +18,7 @@ panel {
 	width: 100%;
 }
 
-.tabbedPanel.horizontal>.title {
+.tabbedPanel .composite.title {
 	display: flex;
 	flex: 0 0 auto;
 	position: relative;
@@ -49,20 +52,34 @@ panel {
 	margin: auto;
 }
 
-.tabbedPanel .tabList .tab-header {
-	padding-left: 5px;
-	padding-right: 10px;
-	line-height: 35px;
+.tabbedPanel.horizontal .tabList .tab .tabLabel {
+	font-size: 12px;
+	font-weight: normal;
 }
 
-.tabbedPanel.horizontal > .title .tabList .tab-header {
+.tabbedPanel.vertical .tabList .tab .tabLabel {
+	font-size: 12px;
+	padding-bottom: 0px;
+	font-weight: normal;
+}
+
+.tabbedPanel .tabList .tab .tabLabel {
+	font-size: 13px;
+	padding-bottom: 4px;
+	font-weight: 600;
+}
+
+.tabbedPanel .tabList .tab-header {
 	display: flex;
-	min-width: 80px;
+	padding-left: 5px;
+	padding-right: 5px;
+	min-width: 65px;
 }
 
 .tabbedPanel.vertical > .title .tabList .tab-header {
 	display: block;
 	min-width: 150px;
+	line-height: 35px;
 }
 
 .tabbedPanel .tabList .tab .tabIcon.codicon {
diff --git a/src/sql/workbench/browser/modelComponents/media/tabbedPanel.css b/src/sql/workbench/browser/modelComponents/media/tabbedPanel.css
index 00cbab04b0..7a22c7f4b1 100644
--- a/src/sql/workbench/browser/modelComponents/media/tabbedPanel.css
+++ b/src/sql/workbench/browser/modelComponents/media/tabbedPanel.css
@@ -8,6 +8,10 @@
 	height: 100%;
 }
 
+.tabbedpanel-component .tabbedPanel {
+	border-top-width: 0px;
+}
+
 .tabbedpanel-component .tabbedPanel .tabContainer {
 	border-style: solid;
 	border-color: rgb(237, 235, 233);