From 7e1213a1ff7f731172543a497d0413989cc04768 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Mon, 20 Mar 2017 08:31:48 -0700 Subject: [PATCH] Move css into terminal.css --- .../parts/terminal/electron-browser/media/terminal.css | 5 +++++ .../parts/terminal/electron-browser/media/xterm.css | 4 ---- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/vs/workbench/parts/terminal/electron-browser/media/terminal.css b/src/vs/workbench/parts/terminal/electron-browser/media/terminal.css index 7c0b4525593..8b43071bb34 100644 --- a/src/vs/workbench/parts/terminal/electron-browser/media/terminal.css +++ b/src/vs/workbench/parts/terminal/electron-browser/media/terminal.css @@ -58,6 +58,11 @@ font-variant-ligatures: normal; } + +.monaco-workbench .panel.integrated-terminal.disable-bold { + font-weight: normal; +} + /* Terminal actions */ /* Light theme */ diff --git a/src/vs/workbench/parts/terminal/electron-browser/media/xterm.css b/src/vs/workbench/parts/terminal/electron-browser/media/xterm.css index 9f90c3153b5..4bf5cec7130 100644 --- a/src/vs/workbench/parts/terminal/electron-browser/media/xterm.css +++ b/src/vs/workbench/parts/terminal/electron-browser/media/xterm.css @@ -2164,7 +2164,3 @@ .monaco-workbench .panel.integrated-terminal .xterm .xterm-bg-color-255 { background-color: #eeeeee; } - -.disable-bold{ - font-weight: normal; -} \ No newline at end of file -- GitLab