This commit is contained in:
Erich Gamma
2016-01-28 14:42:35 +01:00
@@ -6,6 +6,11 @@
.monaco-workbench > .part.panel > .title {
border-top: 1px solid #007ACC;
}
.monaco-workbench > .part.panel {
z-index: initial;
}
.monaco-workbench.no-workspace > .part.panel > .title {
border-color: #68217A;
}