From 368b986d68d07ebeca7c8f6cc5f9abdc0a4e15db Mon Sep 17 00:00:00 2001 From: Sandeep Somavarapu Date: Thu, 7 Jul 2016 11:38:14 +0200 Subject: [PATCH] fix #8620 --- .../parts/markers/browser/media/markers.css | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) diff --git a/src/vs/workbench/parts/markers/browser/media/markers.css b/src/vs/workbench/parts/markers/browser/media/markers.css index 758406728b2..fde64cc6341 100644 --- a/src/vs/workbench/parts/markers/browser/media/markers.css +++ b/src/vs/workbench/parts/markers/browser/media/markers.css @@ -63,15 +63,6 @@ overflow: hidden; } -.markers-panel .markers-panel-container .tree-container .markers-panel-tree-entry .marker-source { - color: #bcbcbc; - margin-right: 5px; -} - -.vs-dark .markers-panel .markers-panel-container .tree-container .markers-panel-tree-entry .marker-source { - color: #888; -} - .markers-panel .markers-panel-container .tree-container .markers-panel-tree-entry .marker-source:before { content: '['; } @@ -80,9 +71,9 @@ content: ']'; } +.markers-panel .markers-panel-container .tree-container .markers-panel-tree-entry .marker-source, .markers-panel .markers-panel-container .tree-container .markers-panel-tree-entry .marker-line { - opacity: 0.6; - font-size: 85%; + opacity: 0.7; margin-right: 5px; }