
body {
	background-color: black;
	color: white;
	font-family: Helvetica;
	margin: 0px;
}

.status {
	padding: 1em;
	border-right: 1px solid white;
}

.status:last-child {
	border-right: none;
}

.status .static {
	color: white;
	padding: .25em;
}

.status .dynamic {
	color: blue;
	padding: .25em;
}

.button {
	padding: 1em;
	background-color: lightgray;
	color: black;
	border: 1px solid white;
}

.header {
	height: 50px;
}


#right .header {
	font-size: 12px;
	padding-right: .25em;
	-webkit-box-sizing: border-box;
}

#controllers, #selectedFlows {
	border-top: 1px solid white;
}

#selectedFlows {
	border-bottom: 1px solid white;
}

#controllers {
	border-right: 1px solid white;
}

.controller {
	padding: .25em;
}

#logo {
	height: 50px;
}

.edge {
	stroke: black;
	stroke-width: 1.5px;
}

.nolabel text {
	display: none;
}

text {
	stroke: none;
	fill: white;
	font-size: 12px;
	pointer-events: none;
}

path {
	stroke: rgba(255, 255, 255, .25);
	stroke-width: 1px;
}

.aggregation {
	stroke: black;
	stroke-width: 2px;
}

#traceButton {
	visibility: hidden
}

.color0-selected .color0,
.color1-selected .color1,
.color2-selected .color2,
.color3-selected .color3,
.color4-selected .color4,
.color5-selected .color5,
.color6-selected .color6,
.color7-selected .color7,
.color8-selected .color8,
.color9-selected .color9,
.color10-selected .color10,
.color11-selected .color11,
.color12-selected .color12  {
	opacity: 1;
}

.color0 {
	opacity: .25;
	fill: #444;
	background-color: #444;
}

.color1 {
	opacity: .25;
	fill: #EC0033;
	background-color: #EC0033;
}

.color2 {
	opacity: .25;
	fill: #FFBA00;
	background-color: #FFBA00;
}

.color3 {
	opacity: .25;
	fill: #3714B0;
	background-color: #3714B0;
}

.color4 {
	opacity: .25;
	fill: #B12C49;
	background-color: #B12C49;
}

.color5 {
	opacity: .25;
	fill: #402C84;
	background-color: #402C84;
}

.color6 {
	opacity: .25;
	fill: #990021;
	background-color: #990021;
}

.color7 {
	opacity: .25;
	fill: #990021;
	background-color: ;
}

.color8 {
	opacity: .25;
	fill: #A67900;
	background-color: #A67900;
}

.color9 {
	opacity: .25;
	fill: #F53D65;
	background-color: #F53D65;
}

.color10 {
	opacity: .25;
	fill: #1F0772;
	background-color: #1F0772;
}

.color11 {
	opacity: .25;
	fill: #F56E8B;
	background-color: #F56E8B;
}

.color12 {
	opacity: .25;
	fill: #6949D7;
	background-color: #6949D7;
}