
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;
}


#logo {
	height: 50px;
}

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

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

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

#traceButton {
	visibility: hidden
}