@jscad/web 2.5.5 → 2.5.9
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +38 -0
- package/README.md +7 -7
- package/css/codemirror.css +10 -15
- package/css/demo.css +32 -34
- package/css/style.css +0 -124
- package/demo.html +3 -2
- package/dist/jscad-web.min.js +1362 -1341
- package/examples/CHANGELOG.md +8 -0
- package/examples/README.md +4 -4
- package/examples/package.json +2 -1
- package/locales/de.json +0 -6
- package/locales/en.json +0 -6
- package/locales/fr.json +0 -6
- package/locales/hr.json +0 -6
- package/locales/ja.json +0 -6
- package/package.json +13 -12
- package/src/ui/flow/design.js +0 -3
- package/src/ui/views/editor.js +116 -195
- package/src/ui/views/main.js +1 -1
- package/src/ui/views/options.js +0 -14
- package/src/ui/views/toolbar.js +3 -3
- package/css/big.css +0 -107
- package/css/editor.css +0 -428
- package/css/min.css +0 -107
- package/css/openjscad.css +0 -135
- package/imgs/closeButton.png +0 -0
- package/imgs/editHandle.png +0 -0
- package/imgs/editHandleIn.png +0 -0
- package/imgs/editHandleOut.png +0 -0
- package/imgs/menuHandle.png +0 -0
- package/imgs/menuHandleHD.png +0 -0
- package/imgs/menuHandleHU.png +0 -0
- package/imgs/menuHandleVL.png +0 -0
- package/imgs/menuHandleVLIn.png +0 -0
- package/imgs/menuHandleVLOut.png +0 -0
- package/imgs/menuHandleVR.png +0 -0
- package/imgs/misc.svg +0 -1038
- package/imgs/title.png +0 -0
- package/src/sideEffects/localFs/walkFileTree.js +0 -224
- package/src/ui/views/editor2.js +0 -130
package/css/big.css
DELETED
|
@@ -1,107 +0,0 @@
|
|
|
1
|
-
/*
|
|
2
|
-
* min.css for OpenJSCAD.org viewer
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
.jscad-container {
|
|
6
|
-
margin: 5px 15px 5px 5px; /* not inherited */
|
|
7
|
-
padding: 20px; /* not inherited */
|
|
8
|
-
color: Black;
|
|
9
|
-
font-weight: bold;
|
|
10
|
-
font-family: Helvetica, Arial, Sans;
|
|
11
|
-
border: thin solid black;
|
|
12
|
-
min-width: 410px;
|
|
13
|
-
}
|
|
14
|
-
|
|
15
|
-
#header {
|
|
16
|
-
margin: 5px; /* not inherited */
|
|
17
|
-
}
|
|
18
|
-
|
|
19
|
-
#viewerContext {
|
|
20
|
-
margin: 5px; /* not inherited */
|
|
21
|
-
border: thin solid gray; /* not inherited */
|
|
22
|
-
padding: 0px; /* not inherited */
|
|
23
|
-
|
|
24
|
-
background: white;
|
|
25
|
-
width: 1200px;
|
|
26
|
-
height: 900px;
|
|
27
|
-
|
|
28
|
-
top: 0px;
|
|
29
|
-
bottom: 0px;
|
|
30
|
-
}
|
|
31
|
-
|
|
32
|
-
canvas {
|
|
33
|
-
margin: 0px; /* not inherited */
|
|
34
|
-
border: 0px none gray; /* not inherited */
|
|
35
|
-
padding: 0px; /* not inherited */
|
|
36
|
-
|
|
37
|
-
width: 100%;
|
|
38
|
-
height: 100%;
|
|
39
|
-
|
|
40
|
-
cursor: move;
|
|
41
|
-
}
|
|
42
|
-
|
|
43
|
-
#parametersdiv {
|
|
44
|
-
margin: 5px; /* not inherited */
|
|
45
|
-
border: thin solid rgb(200,200,200);
|
|
46
|
-
border-radius: 1em;
|
|
47
|
-
padding: 10px;
|
|
48
|
-
|
|
49
|
-
background: white;
|
|
50
|
-
opacity: 0.8;
|
|
51
|
-
}
|
|
52
|
-
|
|
53
|
-
#parametersdiv table {
|
|
54
|
-
margin-bottom: 5px;
|
|
55
|
-
|
|
56
|
-
text-align: left;
|
|
57
|
-
font-size: 0.8em;
|
|
58
|
-
font-weight: normal;
|
|
59
|
-
}
|
|
60
|
-
|
|
61
|
-
#parametersdiv th {
|
|
62
|
-
margin: 0px; /* not inherited */
|
|
63
|
-
border: 0px none gray; /* not inherited */
|
|
64
|
-
padding: 5px; /* not inherited */
|
|
65
|
-
|
|
66
|
-
font-weight: bold;
|
|
67
|
-
}
|
|
68
|
-
|
|
69
|
-
#parametersdiv th.caption {
|
|
70
|
-
text-decoration: underline;
|
|
71
|
-
}
|
|
72
|
-
|
|
73
|
-
#parametersdiv td.caption {
|
|
74
|
-
text-align: right;
|
|
75
|
-
font-weight: bold;
|
|
76
|
-
}
|
|
77
|
-
|
|
78
|
-
#parametersdiv td {
|
|
79
|
-
margin: 0px; /* not inherited */
|
|
80
|
-
border: 0px none gray; /* not inherited */
|
|
81
|
-
padding: 0px; /* not inherited */
|
|
82
|
-
}
|
|
83
|
-
|
|
84
|
-
#parametersdiv input, #parametersdiv textarea, #parametersdiv select {
|
|
85
|
-
font-size: 0.9em;
|
|
86
|
-
background: #fea;
|
|
87
|
-
border: none;
|
|
88
|
-
}
|
|
89
|
-
|
|
90
|
-
#updateButton {
|
|
91
|
-
margin: 5px; /* not inherited */
|
|
92
|
-
border: thin solid Black; /* not inherited */
|
|
93
|
-
padding: 2px; /* not inherited */
|
|
94
|
-
border-radius: 4px;
|
|
95
|
-
background: white;
|
|
96
|
-
|
|
97
|
-
margin-left: 1em;
|
|
98
|
-
}
|
|
99
|
-
|
|
100
|
-
#tail {
|
|
101
|
-
margin: 5px; /* not inherited */
|
|
102
|
-
}
|
|
103
|
-
|
|
104
|
-
#busy {
|
|
105
|
-
vertical-align: middle;
|
|
106
|
-
}
|
|
107
|
-
|
package/css/editor.css
DELETED
|
@@ -1,428 +0,0 @@
|
|
|
1
|
-
/* BASICS */
|
|
2
|
-
|
|
3
|
-
.CodeMirror {
|
|
4
|
-
/* Set height, width, borders, and global font properties here */
|
|
5
|
-
font-family: monospace;
|
|
6
|
-
height: 300px;
|
|
7
|
-
color: black;
|
|
8
|
-
direction: ltr;
|
|
9
|
-
}
|
|
10
|
-
|
|
11
|
-
/* PADDING */
|
|
12
|
-
|
|
13
|
-
.CodeMirror-lines {
|
|
14
|
-
padding: 4px 0; /* Vertical padding around content */
|
|
15
|
-
}
|
|
16
|
-
.CodeMirror pre {
|
|
17
|
-
padding: 0 4px; /* Horizontal padding of content */
|
|
18
|
-
}
|
|
19
|
-
|
|
20
|
-
.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
|
|
21
|
-
background-color: white; /* The little square between H and V scrollbars */
|
|
22
|
-
}
|
|
23
|
-
|
|
24
|
-
/* GUTTER */
|
|
25
|
-
|
|
26
|
-
.CodeMirror-gutters {
|
|
27
|
-
border-right: 1px solid #ddd;
|
|
28
|
-
background-color: #f7f7f7;
|
|
29
|
-
white-space: nowrap;
|
|
30
|
-
}
|
|
31
|
-
.CodeMirror-linenumbers {}
|
|
32
|
-
.CodeMirror-linenumber {
|
|
33
|
-
padding: 0 3px 0 5px;
|
|
34
|
-
min-width: 20px;
|
|
35
|
-
text-align: right;
|
|
36
|
-
color: #999;
|
|
37
|
-
white-space: nowrap;
|
|
38
|
-
}
|
|
39
|
-
|
|
40
|
-
.CodeMirror-guttermarker { color: black; }
|
|
41
|
-
.CodeMirror-guttermarker-subtle { color: #999; }
|
|
42
|
-
|
|
43
|
-
/* CURSOR */
|
|
44
|
-
|
|
45
|
-
.CodeMirror-cursor {
|
|
46
|
-
border-left: 1px solid black;
|
|
47
|
-
border-right: none;
|
|
48
|
-
width: 0;
|
|
49
|
-
}
|
|
50
|
-
/* Shown when moving in bi-directional text */
|
|
51
|
-
.CodeMirror div.CodeMirror-secondarycursor {
|
|
52
|
-
border-left: 1px solid silver;
|
|
53
|
-
}
|
|
54
|
-
.cm-fat-cursor .CodeMirror-cursor {
|
|
55
|
-
width: auto;
|
|
56
|
-
border: 0 !important;
|
|
57
|
-
background: #7e7;
|
|
58
|
-
}
|
|
59
|
-
.cm-fat-cursor div.CodeMirror-cursors {
|
|
60
|
-
z-index: 1;
|
|
61
|
-
}
|
|
62
|
-
.cm-fat-cursor-mark {
|
|
63
|
-
background-color: rgba(20, 255, 20, 0.5);
|
|
64
|
-
-webkit-animation: blink 1.06s steps(1) infinite;
|
|
65
|
-
-moz-animation: blink 1.06s steps(1) infinite;
|
|
66
|
-
animation: blink 1.06s steps(1) infinite;
|
|
67
|
-
}
|
|
68
|
-
.cm-animate-fat-cursor {
|
|
69
|
-
width: auto;
|
|
70
|
-
border: 0;
|
|
71
|
-
-webkit-animation: blink 1.06s steps(1) infinite;
|
|
72
|
-
-moz-animation: blink 1.06s steps(1) infinite;
|
|
73
|
-
animation: blink 1.06s steps(1) infinite;
|
|
74
|
-
background-color: #7e7;
|
|
75
|
-
}
|
|
76
|
-
@-moz-keyframes blink {
|
|
77
|
-
0% {}
|
|
78
|
-
50% { background-color: transparent; }
|
|
79
|
-
100% {}
|
|
80
|
-
}
|
|
81
|
-
@-webkit-keyframes blink {
|
|
82
|
-
0% {}
|
|
83
|
-
50% { background-color: transparent; }
|
|
84
|
-
100% {}
|
|
85
|
-
}
|
|
86
|
-
@keyframes blink {
|
|
87
|
-
0% {}
|
|
88
|
-
50% { background-color: transparent; }
|
|
89
|
-
100% {}
|
|
90
|
-
}
|
|
91
|
-
|
|
92
|
-
/* Can style cursor different in overwrite (non-insert) mode */
|
|
93
|
-
.CodeMirror-overwrite .CodeMirror-cursor {}
|
|
94
|
-
|
|
95
|
-
.cm-tab { display: inline-block; text-decoration: inherit; }
|
|
96
|
-
|
|
97
|
-
.CodeMirror-rulers {
|
|
98
|
-
position: absolute;
|
|
99
|
-
left: 0; right: 0; top: -50px; bottom: -20px;
|
|
100
|
-
overflow: hidden;
|
|
101
|
-
}
|
|
102
|
-
.CodeMirror-ruler {
|
|
103
|
-
border-left: 1px solid #ccc;
|
|
104
|
-
top: 0; bottom: 0;
|
|
105
|
-
position: absolute;
|
|
106
|
-
}
|
|
107
|
-
|
|
108
|
-
/* DEFAULT THEME */
|
|
109
|
-
|
|
110
|
-
.cm-s-default .cm-header {color: blue;}
|
|
111
|
-
.cm-s-default .cm-quote {color: #090;}
|
|
112
|
-
.cm-negative {color: #d44;}
|
|
113
|
-
.cm-positive {color: #292;}
|
|
114
|
-
.cm-header, .cm-strong {font-weight: bold;}
|
|
115
|
-
.cm-em {font-style: italic;}
|
|
116
|
-
.cm-link {text-decoration: underline;}
|
|
117
|
-
.cm-strikethrough {text-decoration: line-through;}
|
|
118
|
-
|
|
119
|
-
.cm-s-default .cm-keyword {color: #708;}
|
|
120
|
-
.cm-s-default .cm-atom {color: #219;}
|
|
121
|
-
.cm-s-default .cm-number {color: #164;}
|
|
122
|
-
.cm-s-default .cm-def {color: #00f;}
|
|
123
|
-
.cm-s-default .cm-variable,
|
|
124
|
-
.cm-s-default .cm-punctuation,
|
|
125
|
-
.cm-s-default .cm-property,
|
|
126
|
-
.cm-s-default .cm-operator {}
|
|
127
|
-
.cm-s-default .cm-variable-2 {color: #05a;}
|
|
128
|
-
.cm-s-default .cm-variable-3, .cm-s-default .cm-type {color: #085;}
|
|
129
|
-
.cm-s-default .cm-comment {color: #a50;}
|
|
130
|
-
.cm-s-default .cm-string {color: #a11;}
|
|
131
|
-
.cm-s-default .cm-string-2 {color: #f50;}
|
|
132
|
-
.cm-s-default .cm-meta {color: #555;}
|
|
133
|
-
.cm-s-default .cm-qualifier {color: #555;}
|
|
134
|
-
.cm-s-default .cm-builtin {color: #30a;}
|
|
135
|
-
.cm-s-default .cm-bracket {color: #997;}
|
|
136
|
-
.cm-s-default .cm-tag {color: #170;}
|
|
137
|
-
.cm-s-default .cm-attribute {color: #00c;}
|
|
138
|
-
.cm-s-default .cm-hr {color: #999;}
|
|
139
|
-
.cm-s-default .cm-link {color: #00c;}
|
|
140
|
-
|
|
141
|
-
.cm-s-default .cm-error {color: #f00;}
|
|
142
|
-
.cm-invalidchar {color: #f00;}
|
|
143
|
-
|
|
144
|
-
.CodeMirror-composing { border-bottom: 2px solid; }
|
|
145
|
-
|
|
146
|
-
/* Default styles for common addons */
|
|
147
|
-
|
|
148
|
-
div.CodeMirror span.CodeMirror-matchingbracket {color: #0b0;}
|
|
149
|
-
div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #a22;}
|
|
150
|
-
.CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); }
|
|
151
|
-
.CodeMirror-activeline-background {background: #e8f2ff;}
|
|
152
|
-
|
|
153
|
-
/* STOP */
|
|
154
|
-
|
|
155
|
-
/* The rest of this file contains styles related to the mechanics of
|
|
156
|
-
the editor. You probably shouldn't touch them. */
|
|
157
|
-
|
|
158
|
-
.CodeMirror {
|
|
159
|
-
position: relative;
|
|
160
|
-
overflow: hidden;
|
|
161
|
-
background: white;
|
|
162
|
-
}
|
|
163
|
-
|
|
164
|
-
.CodeMirror-scroll {
|
|
165
|
-
overflow: scroll !important; /* Things will break if this is overridden */
|
|
166
|
-
/* 30px is the magic margin used to hide the element's real scrollbars */
|
|
167
|
-
/* See overflow: hidden in .CodeMirror */
|
|
168
|
-
margin-bottom: -30px; margin-right: -30px;
|
|
169
|
-
padding-bottom: 30px;
|
|
170
|
-
height: 100%;
|
|
171
|
-
outline: none; /* Prevent dragging from highlighting the element */
|
|
172
|
-
position: relative;
|
|
173
|
-
}
|
|
174
|
-
.CodeMirror-sizer {
|
|
175
|
-
position: relative;
|
|
176
|
-
border-right: 30px solid transparent;
|
|
177
|
-
}
|
|
178
|
-
|
|
179
|
-
/* The fake, visible scrollbars. Used to force redraw during scrolling
|
|
180
|
-
before actual scrolling happens, thus preventing shaking and
|
|
181
|
-
flickering artifacts. */
|
|
182
|
-
.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
|
|
183
|
-
position: absolute;
|
|
184
|
-
z-index: 6;
|
|
185
|
-
display: none;
|
|
186
|
-
}
|
|
187
|
-
.CodeMirror-vscrollbar {
|
|
188
|
-
right: 0; top: 0;
|
|
189
|
-
overflow-x: hidden;
|
|
190
|
-
overflow-y: scroll;
|
|
191
|
-
}
|
|
192
|
-
.CodeMirror-hscrollbar {
|
|
193
|
-
bottom: 0; left: 0;
|
|
194
|
-
overflow-y: hidden;
|
|
195
|
-
overflow-x: scroll;
|
|
196
|
-
}
|
|
197
|
-
.CodeMirror-scrollbar-filler {
|
|
198
|
-
right: 0; bottom: 0;
|
|
199
|
-
}
|
|
200
|
-
.CodeMirror-gutter-filler {
|
|
201
|
-
left: 0; bottom: 0;
|
|
202
|
-
}
|
|
203
|
-
|
|
204
|
-
.CodeMirror-gutters {
|
|
205
|
-
position: absolute; left: 0; top: 0;
|
|
206
|
-
min-height: 100%;
|
|
207
|
-
z-index: 3;
|
|
208
|
-
}
|
|
209
|
-
.CodeMirror-gutter {
|
|
210
|
-
white-space: normal;
|
|
211
|
-
height: 100%;
|
|
212
|
-
display: inline-block;
|
|
213
|
-
vertical-align: top;
|
|
214
|
-
margin-bottom: -30px;
|
|
215
|
-
}
|
|
216
|
-
.CodeMirror-gutter-wrapper {
|
|
217
|
-
position: absolute;
|
|
218
|
-
z-index: 4;
|
|
219
|
-
background: none !important;
|
|
220
|
-
border: none !important;
|
|
221
|
-
}
|
|
222
|
-
.CodeMirror-gutter-background {
|
|
223
|
-
position: absolute;
|
|
224
|
-
top: 0; bottom: 0;
|
|
225
|
-
z-index: 4;
|
|
226
|
-
}
|
|
227
|
-
.CodeMirror-gutter-elt {
|
|
228
|
-
position: absolute;
|
|
229
|
-
cursor: default;
|
|
230
|
-
z-index: 4;
|
|
231
|
-
}
|
|
232
|
-
.CodeMirror-gutter-wrapper ::selection { background-color: transparent }
|
|
233
|
-
.CodeMirror-gutter-wrapper ::-moz-selection { background-color: transparent }
|
|
234
|
-
|
|
235
|
-
.CodeMirror-lines {
|
|
236
|
-
cursor: text;
|
|
237
|
-
min-height: 1px; /* prevents collapsing before first draw */
|
|
238
|
-
}
|
|
239
|
-
.CodeMirror pre {
|
|
240
|
-
/* Reset some styles that the rest of the page might have set */
|
|
241
|
-
-moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
|
|
242
|
-
border-width: 0;
|
|
243
|
-
background: transparent;
|
|
244
|
-
font-family: inherit;
|
|
245
|
-
font-size: inherit;
|
|
246
|
-
margin: 0;
|
|
247
|
-
white-space: pre;
|
|
248
|
-
word-wrap: normal;
|
|
249
|
-
line-height: inherit;
|
|
250
|
-
color: inherit;
|
|
251
|
-
z-index: 2;
|
|
252
|
-
position: relative;
|
|
253
|
-
overflow: visible;
|
|
254
|
-
-webkit-tap-highlight-color: transparent;
|
|
255
|
-
-webkit-font-variant-ligatures: contextual;
|
|
256
|
-
font-variant-ligatures: contextual;
|
|
257
|
-
}
|
|
258
|
-
.CodeMirror-wrap pre {
|
|
259
|
-
word-wrap: break-word;
|
|
260
|
-
white-space: pre-wrap;
|
|
261
|
-
word-break: normal;
|
|
262
|
-
}
|
|
263
|
-
|
|
264
|
-
.CodeMirror-linebackground {
|
|
265
|
-
position: absolute;
|
|
266
|
-
left: 0; right: 0; top: 0; bottom: 0;
|
|
267
|
-
z-index: 0;
|
|
268
|
-
}
|
|
269
|
-
|
|
270
|
-
.CodeMirror-linewidget {
|
|
271
|
-
position: relative;
|
|
272
|
-
z-index: 2;
|
|
273
|
-
padding: 0.1px; /* Force widget margins to stay inside of the container */
|
|
274
|
-
}
|
|
275
|
-
|
|
276
|
-
.CodeMirror-widget {}
|
|
277
|
-
|
|
278
|
-
.CodeMirror-rtl pre { direction: rtl; }
|
|
279
|
-
|
|
280
|
-
.CodeMirror-code {
|
|
281
|
-
outline: none;
|
|
282
|
-
}
|
|
283
|
-
|
|
284
|
-
/* Force content-box sizing for the elements where we expect it */
|
|
285
|
-
.CodeMirror-scroll,
|
|
286
|
-
.CodeMirror-sizer,
|
|
287
|
-
.CodeMirror-gutter,
|
|
288
|
-
.CodeMirror-gutters,
|
|
289
|
-
.CodeMirror-linenumber {
|
|
290
|
-
-moz-box-sizing: content-box;
|
|
291
|
-
box-sizing: content-box;
|
|
292
|
-
}
|
|
293
|
-
|
|
294
|
-
.CodeMirror-measure {
|
|
295
|
-
position: absolute;
|
|
296
|
-
width: 100%;
|
|
297
|
-
height: 0;
|
|
298
|
-
overflow: hidden;
|
|
299
|
-
visibility: hidden;
|
|
300
|
-
}
|
|
301
|
-
|
|
302
|
-
.CodeMirror-cursor {
|
|
303
|
-
position: absolute;
|
|
304
|
-
pointer-events: none;
|
|
305
|
-
}
|
|
306
|
-
.CodeMirror-measure pre { position: static; }
|
|
307
|
-
|
|
308
|
-
div.CodeMirror-cursors {
|
|
309
|
-
visibility: hidden;
|
|
310
|
-
position: relative;
|
|
311
|
-
z-index: 3;
|
|
312
|
-
}
|
|
313
|
-
div.CodeMirror-dragcursors {
|
|
314
|
-
visibility: visible;
|
|
315
|
-
}
|
|
316
|
-
|
|
317
|
-
.CodeMirror-focused div.CodeMirror-cursors {
|
|
318
|
-
visibility: visible;
|
|
319
|
-
}
|
|
320
|
-
|
|
321
|
-
.CodeMirror-selected { background: #d9d9d9; }
|
|
322
|
-
.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
|
|
323
|
-
.CodeMirror-crosshair { cursor: crosshair; }
|
|
324
|
-
.CodeMirror-line::selection, .CodeMirror-line > span::selection, .CodeMirror-line > span > span::selection { background: #d7d4f0; }
|
|
325
|
-
.CodeMirror-line::-moz-selection, .CodeMirror-line > span::-moz-selection, .CodeMirror-line > span > span::-moz-selection { background: #d7d4f0; }
|
|
326
|
-
|
|
327
|
-
.cm-searching {
|
|
328
|
-
background-color: #ffa;
|
|
329
|
-
background-color: rgba(255, 255, 0, .4);
|
|
330
|
-
}
|
|
331
|
-
|
|
332
|
-
/* Used to force a border model for a node */
|
|
333
|
-
.cm-force-border { padding-right: .1px; }
|
|
334
|
-
|
|
335
|
-
@media print {
|
|
336
|
-
/* Hide the cursor when printing */
|
|
337
|
-
.CodeMirror div.CodeMirror-cursors {
|
|
338
|
-
visibility: hidden;
|
|
339
|
-
}
|
|
340
|
-
}
|
|
341
|
-
|
|
342
|
-
/* See issue #2901 */
|
|
343
|
-
.cm-tab-wrap-hack:after { content: ''; }
|
|
344
|
-
|
|
345
|
-
/* Help users use markselection to safely style text background */
|
|
346
|
-
span.CodeMirror-selectedtext { background: none; }
|
|
347
|
-
|
|
348
|
-
|
|
349
|
-
/* Based on Sublime Text's Monokai theme */
|
|
350
|
-
|
|
351
|
-
.cm-s-monokai.CodeMirror { background: #272822; color: #f8f8f2; }
|
|
352
|
-
.cm-s-monokai div.CodeMirror-selected { background: #49483E; }
|
|
353
|
-
.cm-s-monokai .CodeMirror-line::selection, .cm-s-monokai .CodeMirror-line > span::selection, .cm-s-monokai .CodeMirror-line > span > span::selection { background: rgba(73, 72, 62, .99); }
|
|
354
|
-
.cm-s-monokai .CodeMirror-line::-moz-selection, .cm-s-monokai .CodeMirror-line > span::-moz-selection, .cm-s-monokai .CodeMirror-line > span > span::-moz-selection { background: rgba(73, 72, 62, .99); }
|
|
355
|
-
.cm-s-monokai .CodeMirror-gutters { background: #272822; border-right: 0px; }
|
|
356
|
-
.cm-s-monokai .CodeMirror-guttermarker { color: white; }
|
|
357
|
-
.cm-s-monokai .CodeMirror-guttermarker-subtle { color: #d0d0d0; }
|
|
358
|
-
.cm-s-monokai .CodeMirror-linenumber { color: #d0d0d0; }
|
|
359
|
-
.cm-s-monokai .CodeMirror-cursor { border-left: 1px solid #f8f8f0; }
|
|
360
|
-
|
|
361
|
-
.cm-s-monokai span.cm-comment { color: #75715e; }
|
|
362
|
-
.cm-s-monokai span.cm-atom { color: #ae81ff; }
|
|
363
|
-
.cm-s-monokai span.cm-number { color: #ae81ff; }
|
|
364
|
-
|
|
365
|
-
.cm-s-monokai span.cm-property, .cm-s-monokai span.cm-attribute { color: #a6e22e; }
|
|
366
|
-
.cm-s-monokai span.cm-keyword { color: #f92672; }
|
|
367
|
-
.cm-s-monokai span.cm-builtin { color: #66d9ef; }
|
|
368
|
-
.cm-s-monokai span.cm-string { color: #e6db74; }
|
|
369
|
-
|
|
370
|
-
.cm-s-monokai span.cm-variable { color: #f8f8f2; }
|
|
371
|
-
.cm-s-monokai span.cm-variable-2 { color: #9effff; }
|
|
372
|
-
.cm-s-monokai span.cm-variable-3, .cm-s-monokai span.cm-type { color: #66d9ef; }
|
|
373
|
-
.cm-s-monokai span.cm-def { color: #fd971f; }
|
|
374
|
-
.cm-s-monokai span.cm-bracket { color: #f8f8f2; }
|
|
375
|
-
.cm-s-monokai span.cm-tag { color: #f92672; }
|
|
376
|
-
.cm-s-monokai span.cm-header { color: #ae81ff; }
|
|
377
|
-
.cm-s-monokai span.cm-link { color: #ae81ff; }
|
|
378
|
-
.cm-s-monokai span.cm-error { background: #f92672; color: #f8f8f0; }
|
|
379
|
-
|
|
380
|
-
.cm-s-monokai .CodeMirror-activeline-background { background: #373831; }
|
|
381
|
-
.cm-s-monokai .CodeMirror-matchingbracket {
|
|
382
|
-
text-decoration: underline;
|
|
383
|
-
color: white !important;
|
|
384
|
-
}
|
|
385
|
-
|
|
386
|
-
|
|
387
|
-
.CodeMirror-hints {
|
|
388
|
-
position: absolute;
|
|
389
|
-
z-index: 100;
|
|
390
|
-
overflow: hidden;
|
|
391
|
-
list-style: none;
|
|
392
|
-
|
|
393
|
-
margin: 0;
|
|
394
|
-
padding: 0px;
|
|
395
|
-
|
|
396
|
-
/*-webkit-box-shadow: 2px 3px 5px rgba(0,0,0,.2);
|
|
397
|
-
-moz-box-shadow: 2px 3px 5px rgba(0,0,0,.2);
|
|
398
|
-
box-shadow: 2px 3px 5px rgba(0,0,0,.2);*/
|
|
399
|
-
border-radius: 0px;
|
|
400
|
-
/*border: 1px solid silver;*/
|
|
401
|
-
|
|
402
|
-
background: rgb(53, 53, 53);
|
|
403
|
-
font-size: 90%;
|
|
404
|
-
font-family: monospace;
|
|
405
|
-
|
|
406
|
-
max-height: 20em;
|
|
407
|
-
overflow-y: auto;
|
|
408
|
-
}
|
|
409
|
-
|
|
410
|
-
|
|
411
|
-
.CodeMirror-hint {
|
|
412
|
-
margin: 0;
|
|
413
|
-
padding: 0;
|
|
414
|
-
/*padding: 0 0px;*/
|
|
415
|
-
/*border-radius: 2px;*/
|
|
416
|
-
white-space: pre;
|
|
417
|
-
color: rgb(201, 200, 200);
|
|
418
|
-
cursor: pointer;
|
|
419
|
-
}
|
|
420
|
-
|
|
421
|
-
li.CodeMirror-hint-active {
|
|
422
|
-
background: rgb(59, 70, 80);
|
|
423
|
-
color: rgb(201, 200, 200);
|
|
424
|
-
}
|
|
425
|
-
|
|
426
|
-
.CodeMirror{
|
|
427
|
-
height: 100%;
|
|
428
|
-
}
|
package/css/min.css
DELETED
|
@@ -1,107 +0,0 @@
|
|
|
1
|
-
/*
|
|
2
|
-
* min.css for OpenJSCAD.org viewer
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
.jscad-container {
|
|
6
|
-
margin: 5px 15px 5px 5px; /* not inherited */
|
|
7
|
-
padding: 20px; /* not inherited */
|
|
8
|
-
color: Black;
|
|
9
|
-
font-weight: bold;
|
|
10
|
-
font-family: Helvetica, Arial, Sans;
|
|
11
|
-
border: thin solid black;
|
|
12
|
-
min-width: 410px;
|
|
13
|
-
}
|
|
14
|
-
|
|
15
|
-
#header {
|
|
16
|
-
margin: 5px; /* not inherited */
|
|
17
|
-
}
|
|
18
|
-
|
|
19
|
-
#viewerContext {
|
|
20
|
-
margin: 5px; /* not inherited */
|
|
21
|
-
border: thin solid gray; /* not inherited */
|
|
22
|
-
padding: 0px; /* not inherited */
|
|
23
|
-
|
|
24
|
-
background: white;
|
|
25
|
-
width: 400px;
|
|
26
|
-
height: 300px;
|
|
27
|
-
|
|
28
|
-
top: 0px;
|
|
29
|
-
bottom: 0px;
|
|
30
|
-
}
|
|
31
|
-
|
|
32
|
-
canvas {
|
|
33
|
-
margin: 0px; /* not inherited */
|
|
34
|
-
border: 0px none gray; /* not inherited */
|
|
35
|
-
padding: 0px; /* not inherited */
|
|
36
|
-
|
|
37
|
-
width: 100%;
|
|
38
|
-
height: 100%;
|
|
39
|
-
|
|
40
|
-
cursor: move;
|
|
41
|
-
}
|
|
42
|
-
|
|
43
|
-
#parametersdiv {
|
|
44
|
-
margin: 5px; /* not inherited */
|
|
45
|
-
border: thin solid rgb(200,200,200);
|
|
46
|
-
border-radius: 1em;
|
|
47
|
-
padding: 10px;
|
|
48
|
-
|
|
49
|
-
background: white;
|
|
50
|
-
opacity: 0.8;
|
|
51
|
-
}
|
|
52
|
-
|
|
53
|
-
#parametersdiv table {
|
|
54
|
-
margin-bottom: 5px;
|
|
55
|
-
|
|
56
|
-
text-align: left;
|
|
57
|
-
font-size: 0.8em;
|
|
58
|
-
font-weight: normal;
|
|
59
|
-
}
|
|
60
|
-
|
|
61
|
-
#parametersdiv th {
|
|
62
|
-
margin: 0px; /* not inherited */
|
|
63
|
-
border: 0px none gray; /* not inherited */
|
|
64
|
-
padding: 5px; /* not inherited */
|
|
65
|
-
|
|
66
|
-
font-weight: bold;
|
|
67
|
-
}
|
|
68
|
-
|
|
69
|
-
#parametersdiv th.caption {
|
|
70
|
-
text-decoration: underline;
|
|
71
|
-
}
|
|
72
|
-
|
|
73
|
-
#parametersdiv td.caption {
|
|
74
|
-
text-align: right;
|
|
75
|
-
font-weight: bold;
|
|
76
|
-
}
|
|
77
|
-
|
|
78
|
-
#parametersdiv td {
|
|
79
|
-
margin: 0px; /* not inherited */
|
|
80
|
-
border: 0px none gray; /* not inherited */
|
|
81
|
-
padding: 0px; /* not inherited */
|
|
82
|
-
}
|
|
83
|
-
|
|
84
|
-
#parametersdiv input, #parametersdiv textarea, #parametersdiv select {
|
|
85
|
-
font-size: 0.9em;
|
|
86
|
-
background: #fea;
|
|
87
|
-
border: none;
|
|
88
|
-
}
|
|
89
|
-
|
|
90
|
-
#updateButton {
|
|
91
|
-
margin: 5px; /* not inherited */
|
|
92
|
-
border: thin solid Black; /* not inherited */
|
|
93
|
-
padding: 2px; /* not inherited */
|
|
94
|
-
border-radius: 4px;
|
|
95
|
-
background: white;
|
|
96
|
-
|
|
97
|
-
margin-left: 1em;
|
|
98
|
-
}
|
|
99
|
-
|
|
100
|
-
#tail {
|
|
101
|
-
margin: 5px; /* not inherited */
|
|
102
|
-
}
|
|
103
|
-
|
|
104
|
-
#busy {
|
|
105
|
-
vertical-align: middle;
|
|
106
|
-
}
|
|
107
|
-
|