|
@@ -174,6 +174,7 @@
|
|
|
@toolbar-border-bottom : 1px solid @toolbar-border-color;
|
|
@toolbar-border-bottom : 1px solid @toolbar-border-color;
|
|
|
// Editor file-tree
|
|
// Editor file-tree
|
|
|
@file-tree-bg : @ol-blue-gray-4;
|
|
@file-tree-bg : @ol-blue-gray-4;
|
|
|
|
|
+@file-tree-line-height : 2.05;
|
|
|
@file-tree-item-color : #FFF;
|
|
@file-tree-item-color : #FFF;
|
|
|
@file-tree-item-input-color : @ol-blue-gray-5;
|
|
@file-tree-item-input-color : @ol-blue-gray-5;
|
|
|
@file-tree-item-toggle-color : @ol-blue-gray-2;
|
|
@file-tree-item-toggle-color : @ol-blue-gray-2;
|