|
@@ -902,10 +902,12 @@
|
|
|
@toolbar-icon-btn-color : @gray-light;
|
|
@toolbar-icon-btn-color : @gray-light;
|
|
|
@toolbar-icon-btn-hover-color : @gray-dark;
|
|
@toolbar-icon-btn-hover-color : @gray-dark;
|
|
|
@toolbar-icon-btn-hover-shadow : 0 1px 0 rgba(0, 0, 0, 0.25);
|
|
@toolbar-icon-btn-hover-shadow : 0 1px 0 rgba(0, 0, 0, 0.25);
|
|
|
|
|
+@toolbar-icon-btn-hover-boxshadow : inset 0 3px 5px rgba(0, 0, 0, 0.225);
|
|
|
@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 : transparent;
|
|
@file-tree-bg : transparent;
|
|
|
|
|
+@file-tree-line-height : 2.6;
|
|
|
@file-tree-item-color : @gray-darker;
|
|
@file-tree-item-color : @gray-darker;
|
|
|
@file-tree-item-toggle-color : @gray;
|
|
@file-tree-item-toggle-color : @gray;
|
|
|
@file-tree-item-icon-color : @gray-light;
|
|
@file-tree-item-icon-color : @gray-light;
|
|
@@ -923,7 +925,6 @@
|
|
|
@editor-toggler-hover-bg-color : #DDD;
|
|
@editor-toggler-hover-bg-color : #DDD;
|
|
|
@synctex-controls-z-index : 3;
|
|
@synctex-controls-z-index : 3;
|
|
|
@synctex-controls-padding : 0 2px;
|
|
@synctex-controls-padding : 0 2px;
|
|
|
-
|
|
|
|
|
// Tags
|
|
// Tags
|
|
|
@tag-border-radius : 0.25em;
|
|
@tag-border-radius : 0.25em;
|
|
|
@tag-bg-color : @label-default-bg;
|
|
@tag-bg-color : @label-default-bg;
|