-
Notifications
You must be signed in to change notification settings - Fork 0
/
style.css
116 lines (115 loc) · 1.84 KB
/
style.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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
body {
font-family: "Open Sans", "Helvetica", "Arial", sans-serif;
color: #444;
margin: 0;
}
h1, h2, h3 {
color: black;
}
button {
font-family: inherit;
}
input[type=text] {
padding: 5px;
width: 100px;
}
#blobs-container {
position: relative;
}
#main-canvas {
display: block;
margin: auto;
}
.popup {
position: absolute;
top: 50px;
left: 50%;
width: 380px;
margin-left: -190px;
padding: 20px;
background: white;
border: 2px solid #444;
}
.popup h2 {
margin-top: 0;
}
.popup h2, .popup h3 {
margin: 5px auto;
}
#settings-popup {
display: none;
}
#settings-popup div {
margin: 15px auto;
}
#settings-popup div.json {
outline: none;
font-family: monospace;
white-space: pre;
}
#settings-popup .buttons {
padding: 0 15px;
}
#settings-popup button {
padding: 5px 10px;
background: #eee;
border: 1px solid black;
margin-top: 10px;
}
#settings-popup button:hover {
background: #dedede;
}
#settings-popup button:active {
outline: none;
border-color: gray;
}
#settings-popup .buttons button {
font-size: 1.1em;
}
#settings-popup select {
font-size: 1.05em;
padding: 2px 3px;
margin-right: 10px;
}
#new-macro-div {
display: none;
}
.error {
border: 1px solid red;
}
#help-popup {
display: none;
}
#help-popup table {
display: block;
border-collapse: collapse;
max-height: 350px;
overflow-y: scroll;
}
#help-popup table td {
padding: 4px 8px;
border: 1px solid #ccc;
}
#help-popup td:first-child span {
display: block;
margin: 0 20px;
}
.key {
background: #E8E5E5;
border: 1px solid #555;
padding: 5px;
border-radius: 7px;
text-align: center;
}
.json {
color: purple;
}
.json .quote {
color: #994500;
}
.json .string {
color: #0d324d;
}
.json .bracket {
color: black;
}