/** * Copyright JS Foundation and other contributors, http://js.foundation * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. **/ $background-color: #f3f3f3; $form-placeholder-color: #bbbbbb; $form-text-color: #444; $form-input-focus-color: rgba(85,150,230,0.8); $form-input-border-color: #ccc; $form-input-border-selected-color: #aaa; $node-selected-color: #ff7f0e; $port-selected-color: #ff7f0e; $link-color: #888; $link-link-color: #ccc; $link-link-active-color: #ff7f0e; $link-subflow-color: #bbb; $link-unknown-color: #f00; $primary-border-color: #bbbbbb; $secondary-border-color: #dddddd; $tab-background-active: #fff; $tab-background-inactive: #f0f0f0; $tab-background-hover: #ddd; $palette-header-background: #f3f3f3; $workspace-button-background: #fff; $workspace-button-background-hover: #ddd; $workspace-button-background-active: #efefef; $workspace-button-color: #888; $workspace-button-color-disabled: #ccc; $workspace-button-color-focus: #999; $workspace-button-color-hover: #666; $workspace-button-color-active: #666; $workspace-button-color-selected: #AAA; $workspace-button-toggle-color: #999; $workspace-button-toggle-color-selected: #888; $workspace-button-toggle-color-disabled: #ddd; $workspace-button-color-focus-outline: rgba(85,150,230,0.2); $typedInput-button-background: #efefef; $typedInput-button-background-hover: #ddd; $typedInput-button-background-active: #ddd; $editor-button-color-primary: #eee; $editor-button-background-primary: #AD1625; $editor-button-background-primary-hover: #6E0A1E; $editor-button-color: #999; $editor-button-background: #fff; $shade-color: rgba(200,200,200,0.5);