Add @workspace-background-color.

I needed a name for the bg color of a tab that is not an editor. 
Like the settings, the UI demo, maybe the key map editor.
This commit is contained in:
Ben Ogle
2013-08-29 15:26:17 -07:00
parent 7241635fdf
commit a512332bb5

View File

@@ -2,8 +2,6 @@
// Colors
@app-background-color: #333;
@text-color: #aaa;
@text-color-highlight: #fff;
@text-color-subtle: #555;
@@ -42,6 +40,9 @@
@button-background-selected-color: #5c6064;
@button-border-color: rgba(0, 0, 0, 0.5);
@app-background-color: #333;
@workspace-background-color: lighten(@tool-panel-background-color, 5%);
@tab-background-color-active: @panel-heading-background-color;
@tab-background-color-inactive: #292c2f;