Summary: This diff adds the rough navigation to open pugins, there are some rough egdes still, and tests will be added later, but wanted to keep diffs small, and land the feature early to get some initial dogfooding going on early. Note that we now also show all disabled plugins to help people with trouble shooting. Reviewed By: nikoant Differential Revision: D24418411 fbshipit-source-id: 1402d69efe2e52bc2c81336cfb4f4c9928ea4d80
49 lines
1.5 KiB
Plaintext
49 lines
1.5 KiB
Plaintext
/**
|
|
* Copyright (c) Facebook, Inc. and its affiliates.
|
|
*
|
|
* This source code is licensed under the MIT license found in the
|
|
* LICENSE file in the root directory of this source tree.
|
|
*
|
|
*/
|
|
@import '../node_modules/antd/lib/style/themes/default.less';
|
|
@import './base.less';
|
|
|
|
// Based on: https://www.figma.com/file/4e6BMdm2SuZ1L7FSuOPQVC/Flipper?node-id=620%3A84614
|
|
|
|
// Link Text & Icon
|
|
@primary-color: @purple-6;
|
|
// Success
|
|
@success-color: @green-7;
|
|
// Negative
|
|
@error-color: @red-6;
|
|
// Warning
|
|
@warning-color: @gold-6;
|
|
// Primary Text & Icon
|
|
@text-color-primary: @black;
|
|
// Secondary Text & Icon
|
|
@text-color-secondary: #666; // black 60%
|
|
// Placeholder Text & Icon
|
|
@text-color-placeholder: #8c8c8c; // black 45%
|
|
// Disabled & Icon
|
|
@disabled-color: #bfbfbf; // black 25%
|
|
// Background - default
|
|
@background-default: @white;
|
|
// Background - Wash
|
|
@background-wash: #f2f2f2; // black 5%
|
|
// Backgroud - default button
|
|
@button-default-background: rgba(0, 0, 0, 0.1); // black 10%
|
|
// Background - transparent hover
|
|
@background-transparent-hover: rgba(0, 0, 0, 0.1); // black 10%
|
|
|
|
// The following variables are not yet defined at this moment,
|
|
// as they have / need no mapping to ANT (?)
|
|
// @background-wash2: fade(@black, 10%)
|
|
// @button-primary-background: @purple6;
|
|
// @button-primary-background-hover: @purple7;
|
|
// @button-default=backgorund-hover: @fade(@black, 15%)
|
|
// @button-default-background-disabled: @fade(@black, 10%)
|
|
// @button-background-active: @fade(@black, 8%)
|
|
|
|
// Divider color
|
|
@divider-color: #ececec; // black 10%
|