-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.css
92 lines (92 loc) · 1.99 KB
/
index.css
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
/* These are necessary so that drag-dropping on an empty part of the page
doesn't try to open up 1.com 2.com, etc in Firefox. */
html {
height: 100%;
}
body {
min-height: 100%;
}
.node {
cursor: pointer; /* It's clickable */
background: white;
padding: 0.25em;
padding-left:.5em;
padding-right:.5em;
border-radius: 50px;
border: 2px solid black;
/* Make text horizontal and vertical aligned */
text-align: center;
display: table-cell;
vertical-align: middle;
/* Hack to make sure empty divs still have some height */
line-height: 1em;
min-height: 1em;
}
.node[contenteditable=true] {
cursor: text; /* Visual cue for content editing mode */
}
.add-node-btn {
cursor: pointer; /* It's clickable */
display: block;
margin: 0 auto;
bottom: -14px;
width: 14px;
height: 14px;
z-index: 1000;
background: white;
border-radius: 7px;
}
#trashcan {
position: absolute; left: 0; top: 0;
color: black;
-webkit-transition: 0.1s ease;
-moz-transition: 0.1s ease;
-ms-transition: 0.1s ease;
transition: 0.1s ease;
}
#trashcan.dragover {
color: #e50000; /*XKCD red*/
-webkit-transform: scale(1.5);
-moz-transform: scale(1.5);
-ms-transform: scale(1.5);
transform: scale(1.5);
}
#instructions {
/* Muchas gracias http://stackoverflow.com/a/9209306/2168416 */
margin : 0;
padding : 0 0;
overflow : auto;
height : 0;
}
#show-instructions {
cursor: pointer;
-webkit-transition: 0.2s ease;
-moz-transition: 0.2s ease;
-ms-transition: 0.2s ease;
transition: 0.2s ease;
}
.rotate90 {
-webkit-transform: rotate(90deg);
-moz-transform: rotate(90deg);
-ms-transition: 0.2s ease;
transform: rotate(90deg);
}
#file-chooser {
display: none;
}
.graphsvg line {
stroke: gray;
stroke-width: 3px;
}
.graph {
-webkit-transition: 0.5s ease;
-moz-transition: 0.5s ease;
-ms-transition: 0.5s ease;
transition: 0.5s ease;
}
.graphsvg {
-webkit-transition: 0.5s ease;
-moz-transition: 0.5s ease;
-ms-transition: 0.5s ease;
transition: 0.5s ease;
}