From 44c19d2ce74003d670c7c57ffd690d3effeac029 Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Tue, 15 Dec 2015 17:27:09 +0100 Subject: [PATCH] fix git widget icon sizes fixes #1280 --- .../workbench/parts/git/browser/media/git.contribution.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/parts/git/browser/media/git.contribution.css b/src/vs/workbench/parts/git/browser/media/git.contribution.css index 98eb9bbe30e..f1d63cf73b6 100644 --- a/src/vs/workbench/parts/git/browser/media/git.contribution.css +++ b/src/vs/workbench/parts/git/browser/media/git.contribution.css @@ -231,11 +231,14 @@ .monaco-shell .git-statusbar-group > a.octicon { line-height: 22px; - font-size: 15px; width: 16px; text-align: center; } +.monaco-shell .git-statusbar-group .octicon { + font-size: 14px; +} + .monaco-shell .git-statusbar-group > .git-statusbar-sync-item:not(.empty) > span.octicon { margin-right: 6px; } -- GitLab