|
@@ -210,6 +210,7 @@
|
|
|
@project-name-color : @ol-blue-gray-2;
|
|
@project-name-color : @ol-blue-gray-2;
|
|
|
@project-rename-link-color : @ol-blue-gray-2;
|
|
@project-rename-link-color : @ol-blue-gray-2;
|
|
|
@project-rename-link-color-hover : @ol-blue-gray-1;
|
|
@project-rename-link-color-hover : @ol-blue-gray-1;
|
|
|
|
|
+@global-alerts-padding : 7px;
|
|
|
|
|
|
|
|
// Editor file-tree
|
|
// Editor file-tree
|
|
|
@file-tree-bg : @ol-blue-gray-4;
|
|
@file-tree-bg : @ol-blue-gray-4;
|