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