1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
.diagram-container {
display: none;
}
.diagram {
overflow: hidden;
padding-top:15px;
}
.diagram svg {
display: block;
position: absolute;
visibility: hidden;
margin: auto;
}
.diagram-help {
float:right;
display:none;
}
.magnifying {
cursor: -webkit-zoom-in ! important;
cursor: -moz-zoom-in ! important;
cursor: pointer;
}
#close-link {
position: absolute;
z-index: 100;
font-family: Arial, sans-serif;
font-size: 10pt;
text-decoration: underline;
color: #315479;
}
#close:hover {
text-decoration: none;
}
svg a {
cursor:pointer;
}
svg text {
font-size: 8.5px;
}
/* try to move the node text 1px in order to be vertically
* centered (does not work in all browsers)
*/
svg .node text {
transform: translate(0px,1px);
-ms-transform: translate(0px,1px);
-webkit-transform: translate(0px,1px);
-o-transform: translate(0px,1px);
-moz-transform: translate(0px,1px);
}
/* hover effect for edges */
svg .edge.over text,
svg .edge.implicit-incoming.over polygon,
svg .edge.implicit-outgoing.over polygon {
fill: #103A51;
}
svg .edge.over path,
svg .edge.over polygon {
stroke: #103A51;
}
/* for hover effect on nodes in diagrams, edit the following */
svg.class-diagram .node {}
svg.class-diagram .node.this {}
svg.class-diagram .node.over {}
svg .node.over polygon {
stroke: #202020;
}
/* hover effect for nodes in package diagrams */
svg.package-diagram .node.class.over polygon,
svg.class-diagram .node.this.class.over polygon {
fill: #098552;
fill: #04663e;
}
svg.package-diagram .node.trait.over polygon,
svg.class-diagram .node.this.trait.over polygon {
fill: #3c7b9b;
fill: #235d7b;
}
svg.package-diagram .node.type.over polygon,
svg.class-diagram .node.this.type.over polygon {
fill: #098552;
fill: #04663e;
}
svg.package-diagram .node.object.over polygon {
fill: #183377;
}
svg.package-diagram .node.outside.over polygon {
fill: #d4d4d4;
}
svg.package-diagram .node.default.over polygon {
fill: #d4d4d4;
}
|