blob: 807aa4c7f429d1b9e8e785babba50fab98aeabcf [file] [log] [blame]
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
}
.color1, .color2, .color3, .color4, .color5, .color6, .color7, .color8, .color9, .color10, .color11, .color12 {
fill: rgba(255, 255, 255, .15);
background-color: rgba(255, 255, 255, .15);
}
.color1-selected .color1 {
fill: #EC0033;
background-color: #EC0033;
}
.color2-selected .color2 {
fill: #FFBA00;
background-color: #FFBA00;
}
.color3-selected .color3 {
fill: #3714B0;
background-color: #3714B0;
}
.color4-selected .color4 {
fill: #B12C49;
background-color: #B12C49;
}
.color5-selected .color5 {
fill: #402C84;
background-color: #402C84;
}
.color6-selected .color6 {
fill: #990021;
background-color: #990021;
}
.color7-selected .color7 {
fill: #990021;
background-color: ;
}
.color8-selected .color8 {
fill: #A67900;
background-color: #A67900;
}
.color9-selected .color9 {
fill: #F53D65;
background-color: #F53D65;
}
.color10-selected .color10 {
fill: #1F0772;
background-color: #1F0772;
}
.color11-selected .color11 {
fill: #F56E8B;
background-color: #F56E8B;
}
.color12-selected .color12 {
fill: #6949D7;
background-color: #6949D7;
}