• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1.node {
2    font: 300 11px "Helvetica Neue", Helvetica, Arial, sans-serif;
3    fill: #bbb;
4    fill-opacity: 0.2;
5}
6
7.node--sys-pri {
8    font: 300 11px "Helvetica Neue", Helvetica, Arial, sans-serif;
9    fill: #ffaaaa;
10    fill-opacity: 0.2;
11}
12
13.node--sys-pub {
14    font: 300 11px "Helvetica Neue", Helvetica, Arial, sans-serif;
15    fill: #aaffaa;
16    fill-opacity: 0.2;
17}
18
19.node--source {
20    fill: #2ca02c;
21    fill-opacity: 1;
22}
23
24.node--target {
25    fill: #d62728;
26    fill-opacity: 1;
27}
28
29.node--selected {
30    fill: #ff7000;
31    fill-opacity: 1;
32    font-weight: 700;
33}
34
35.node:hover,
36.node--sys-pri:hover,
37.node--sys-pub:hover {
38    fill: #000;
39    fill-opacity: 1;
40}
41
42.node:hover,
43.node--sys-pri:hover,
44.node--sys-pub:hover,
45.node--source,
46.node--target {
47    font-weight: 700;
48}
49
50.link {
51    stroke: steelblue;
52    stroke-opacity: 0.01;
53    fill: none;
54    pointer-events: none;
55}
56
57.link--violate {
58    stroke: crimson;
59    stroke-opacity: 0.1;
60    stroke-width: 1.0px;
61    fill: none;
62    pointer-events: none;
63}
64
65.link--source,
66.link--target {
67    stroke-opacity: 1;
68    stroke-width: 2.5px;
69}
70
71.link--source {
72    stroke: orange;
73}
74
75.link--target {
76    stroke: #2ca02c;
77}
78
79button.violate {
80    background-color: white;
81    color: #333;
82    cursor: pointer;
83    padding: 5px;
84    width: 100%;
85    border: none;
86    text-align: left;
87    outline: none;
88    font-size: 15px;
89    transition: 0.4s;
90}
91
92button.violate.active,
93button.violate:hover {
94    background-color: #aaa;
95}
96
97.violate-list {
98    background-color: #ddd;
99    padding: 3px;
100    width: 100%;
101    border: none;
102    text-align: left;
103    font-size: 14px;
104}
105
106#violate_list_column {
107    width: 20%;
108    height: 99vh;
109    float: left;
110    overflow: scroll;
111}
112
113#dep_graph_column {
114    width: 80%;
115    height: 99vh;
116    float: right;
117    overflow: scroll;
118}
119
120#reset_btn {
121    position: absolute;
122    margin: 20px;
123}