revert the changes impacting query editor and profiler editor (#9842)

* add the panel top border back

* more changes

* min-width and line height
This commit is contained in:
Alan Ren
2020-04-02 21:35:18 -07:00
committed by GitHub
parent ce12bae00f
commit 589de854d5
2 changed files with 28 additions and 7 deletions

View File

@@ -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 {