4 @text-color-subtle: #999;
5 @text-color-highlight: #000;
6 @text-color-selected: #fff;
8 @text-color-info: blue;
9 @text-color-success: green;
10 @text-color-warning: #ff6600;
11 @text-color-error: red;
13 @text-color-ignored: @text-color-subtle;
14 @text-color-added: @text-color-success;
15 @text-color-renamed: @text-color-info;
16 @text-color-modified: orange;
17 @text-color-removed: @text-color-error;
19 @background-color-info: #0098ff;
20 @background-color-success: #17ca65;
21 @background-color-warning: #ff4800;
22 @background-color-error: #c00;
23 @background-color-highlight: rgba(0, 0, 0, .1);
24 @background-color-selected: #07216C;
26 @app-background-color: #376DA6;
28 @base-background-color: #D3D0C7;
29 @base-border-color: @shadow-1-color;
31 @pane-item-background-color: @base-background-color;
32 @pane-item-border-color: @base-border-color;
34 @input-background-color: white;
35 @input-border-color: fadeout(@base-border-color, 10%);
37 @tool-panel-background-color: @base-background-color;
38 @tool-panel-border-color: @base-border-color;
40 @inset-panel-background-color: #fff;
41 @inset-panel-border-color: fadeout(@base-border-color, 10%);
43 @panel-heading-background-color: #c3c3c3;
44 @panel-heading-border-color: transparent;
46 @overlay-background-color: @base-background-color;
47 @overlay-border-color: @base-border-color;
49 @button-background-color: @base-background-color;
50 @button-background-color-hover: lighten(@button-background-color, 5%);
51 @button-background-color-selected: #888;
52 @button-border-color: rgba(0, 0, 0, 0.15);
54 @tab-bar-background-color: @base-background-color;
55 @tab-bar-border-color: @highlight-2-color;
56 @tab-background-color: @base-background-color;
57 @tab-background-color-active: @base-background-color;
59 @tree-view-background-color: white;
60 @tree-view-border-color: @base-border-color;
62 @ui-site-color-1: @background-color-success; // green
63 @ui-site-color-2: @background-color-info; // blue
64 @ui-site-color-3: @background-color-warning; // orange
65 @ui-site-color-4: #db2ff4; // purple
66 @ui-site-color-5: #f5e11d; // yellow
72 @input-font-size: 14px;
73 @disclosure-arrow-size: 12px;
75 @component-padding: 10px;
76 @component-icon-padding: 5px;
77 @component-icon-size: 16px;
78 @component-line-height: 25px;
79 @component-border-radius: 0px;
86 @font-family: 'Tahoma', 'Lucida Grande', 'Segoe UI', Ubuntu, Cantarell, sans-serif;
88 @shadow-1-color: #848284;
89 @shadow-2-color: #424142;
90 @highlight-1-color: @base-background-color;
91 @highlight-2-color: #fff;