2018-09-04 20:56:49 +00:00
|
|
|
/* Screen widths less than this will be treated as mobile */
|
2019-07-23 16:32:43 +00:00
|
|
|
export const DESKTOP_WIDTH_THRESHOLD = 1000;
|
2019-07-14 11:47:06 +00:00
|
|
|
|
|
|
|
|
export const DEFAULT_NODE_COLOR = "#CED9E0";
|
|
|
|
|
export const SELECTED_NODE_COLOR = "#48AFF0";
|
2019-07-21 18:05:07 +00:00
|
|
|
|
|
|
|
|
export const INSTANCE_DOMAIN_PATH = "/instance/:domain";
|
|
|
|
|
export interface IInstanceDomainPath {
|
|
|
|
|
domain: string;
|
|
|
|
|
}
|
