12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485 |
- // This file has fallback variables. It specifies the variables themes
- // must implement.
- // Colors
- @text-color: #333;
- @text-color-subtle: #777;
- @text-color-highlight: #111;
- @text-color-selected: @text-color-highlight;
- @text-color-info: #5293d8;
- @text-color-success: #1fe977;
- @text-color-warning: #f78a46;
- @text-color-error: #c00;
- @background-color-info: #0098ff;
- @background-color-success: #17ca65;
- @background-color-warning: #ff4800;
- @background-color-error: #c00;
- @background-color-highlight: hsla(0,0%,0%,.1);
- @background-color-selected: @background-color-highlight;
- @app-background-color: #fff;
- @base-background-color: #fff;
- @base-border-color: #eee;
- @pane-item-background-color: @base-background-color;
- @pane-item-border-color: @base-border-color;
- @input-background-color: #fff;
- @input-border-color: @base-border-color;
- @tool-panel-background-color: #f4f4f4;
- @tool-panel-border-color: @base-border-color;
- @inset-panel-background-color: #eee;
- @inset-panel-border-color: @base-border-color;
- @panel-heading-background-color: #ddd;
- @panel-heading-border-color: transparent;
- @overlay-background-color: #f4f4f4;
- @overlay-border-color: @base-border-color;
- @button-background-color: #ccc;
- @button-background-color-hover: lighten(@button-background-color, 5%);
- @button-background-color-selected: @button-background-color-hover;
- @button-border-color: #aaa;
- @tab-bar-background-color: #fff;
- @tab-bar-border-color: darken(@tab-background-color-active, 10%);
- @tab-background-color: #f4f4f4;
- @tab-background-color-active: #fff;
- @tab-border-color: @base-border-color;
- @tree-view-background-color: @tool-panel-background-color;
- @tree-view-border-color: @tool-panel-border-color;
- @ui-site-color-1: @background-color-success; // green
- @ui-site-color-2: @background-color-info; // blue
- @ui-site-color-3: @background-color-warning; // orange
- @ui-site-color-4: #db2ff4; // purple
- @ui-site-color-5: #f5e11d; // yellow
- // Sizes
- @font-size: 13px;
- @input-font-size: 14px;
- @disclosure-arrow-size: 12px;
- @component-padding: 10px;
- @component-icon-padding: 5px;
- @component-icon-size: 16px;
- @component-line-height: 25px;
- @component-border-radius: 2px;
- @tab-height: 30px;
- // Other
- @font-family: system-ui;
- @use-custom-controls: true; // false uses native controls
|