-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdot2html.header.snippet
63 lines (62 loc) · 1.52 KB
/
dot2html.header.snippet
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
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8"/>
<style>
@property --shape {
syntax: "*";
inherits: false;
}
.shape {
fill: white;
stroke: black;
}
g text {
text-anchor: middle;
alignment-baseline: middle;
font-family: Verdana, Arial, sans-serif;
font-size: 12px;
fill: black;
text-anchor: start;
--shape: ellipse;
}
.edge {
stroke: black;
marker-end: url(#arrow);
fill: none;
}
.mouseover_edge {
stroke: red;
stroke-width: 2;
stroke-dasharray: 10;
animation: dash 1s linear;
animation-iteration-count: infinite;
}
@keyframes dash {
to {
stroke-dashoffset: -20;
}
}
#settings {
position: absolute;
top: 10px;
right: 25px;
width: 155px;
background: #e0e0e0;
}
.setting input[type=text] {
width: 40px;
}
</style>
</head>
<body>
<!-- copy of layout.svg (couldn't find a way to "import" it...) -->
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="0" height="0">
<defs>
<marker id="arrow" refX="10" refY="5"
markerWidth="10" markerHeight="10" orient="auto-start-reverse"
markerUnits="userSpaceOnUse">
<path d="M0,0 L10,5 L0,10 L2.5,5 z"/>
</marker>
</defs>
</svg>