fix git widget icon sizes

fixes #1280
This commit is contained in:
Joao Moreno
2015-12-15 17:27:09 +01:00
parent 1f2694ddf2
commit 44c19d2ce7
@@ -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;
}