corrected the color for the tooltip in the flat dark theme

pull/242/head
Edoardo Paolo Scalafiotti 2016-01-14 14:56:38 +01:00 zatwierdzone przez nightwing
rodzic afcb8fa8f0
commit 5e26d59510
2 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -93,7 +93,7 @@
"c9.ide.installer": "#0fde9f0067",
"c9.ide.language.python": "#e30d1a9a50",
"c9.ide.language.go": "#a023f576ae",
"c9.ide.mount": "#915b3d20be",
"c9.ide.mount": "#5bb5bd1078",
"c9.ide.navigate": "#38ae100ea1",
"c9.ide.newresource": "#981a408a7b",
"c9.ide.openfiles": "#7fa4a97fed",
@ -117,6 +117,6 @@
"c9.ide.threewaymerge": "#229382aa0b",
"c9.ide.undo": "#b028bcb4d5",
"c9.ide.upload": "#0bd010d3dc",
"c9.ide.welcome": "#2e8792e2fc"
"c9.ide.welcome": "#1439a82aaa"
}
}

Wyświetl plik

@ -798,7 +798,7 @@
@gutter-tooltip-dark-shadow: 1px 1px 6px darken(rgba(0, 0, 0, 0.8), @darken-chrome);
@gutter-tooltip-dark-background: darken(#FFF399, @darken-chrome);
@gutter-tooltip-dark-border: black;
@gutter-tooltip-dark-color: darken(#e0e3e8, @darken-chrome);
@gutter-tooltip-dark-color: darken(#333, @darken-chrome);
@gutter-tooltip-dark-font-smoothing: true;
// Splitter