Fix options menu

pull/223/head
Ruben Daniels 2015-09-24 17:45:43 -07:00
rodzic 6adc3ce2bc
commit d15880f167
2 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -108,8 +108,8 @@
"c9.ide.save": "#e00549cb0f",
"c9.ide.scm": "#0bccfb982b",
"c9.ide.terminal.monitor": "#b76f1c9f24",
"c9.ide.test": "#c10c84b813",
"c9.ide.test.mocha": "#f623146cee",
"c9.ide.test": "#6bb1636f86",
"c9.ide.test.mocha": "#4d3ad597be",
"c9.ide.theme.flat": "#2de8414db7",
"c9.ide.threewaymerge": "#229382aa0b",
"c9.ide.undo": "#b028bcb4d5",

Wyświetl plik

@ -424,7 +424,7 @@
box-shadow: none;
}
.runner-form-header{
body .runner-form-header{
border-bottom: 1px solid @border-highlight-dark;
}