resin 0.0.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (83) hide show
  1. data/README.markdown +52 -0
  2. data/amber/css/amber.css +519 -0
  3. data/amber/css/documentation.css +84 -0
  4. data/amber/css/profstef.css +75 -0
  5. data/amber/css/style.css +313 -0
  6. data/amber/images/amber.png +0 -0
  7. data/amber/images/amber_small.png +0 -0
  8. data/amber/images/off.png +0 -0
  9. data/amber/images/offHover.png +0 -0
  10. data/amber/images/presentation.png +0 -0
  11. data/amber/images/profstef.png +0 -0
  12. data/amber/images/sprite.png +0 -0
  13. data/amber/images/tinylogo.png +0 -0
  14. data/amber/images/twitterwall.png +0 -0
  15. data/amber/js/Additional-Examples.deploy.js +15 -0
  16. data/amber/js/Additional-Examples.js +21 -0
  17. data/amber/js/Benchfib.deploy.js +132 -0
  18. data/amber/js/Benchfib.js +167 -0
  19. data/amber/js/Canvas.deploy.js +1304 -0
  20. data/amber/js/Canvas.js +1885 -0
  21. data/amber/js/Compiler.deploy.js +1871 -0
  22. data/amber/js/Compiler.js +2616 -0
  23. data/amber/js/Documentation.deploy.js +961 -0
  24. data/amber/js/Documentation.js +1376 -0
  25. data/amber/js/Examples.deploy.js +53 -0
  26. data/amber/js/Examples.js +73 -0
  27. data/amber/js/IDE.deploy.js +3468 -0
  28. data/amber/js/IDE.js +4883 -0
  29. data/amber/js/Kernel-Announcements.deploy.js +107 -0
  30. data/amber/js/Kernel-Announcements.js +152 -0
  31. data/amber/js/Kernel-Classes.deploy.js +675 -0
  32. data/amber/js/Kernel-Classes.js +956 -0
  33. data/amber/js/Kernel-Collections.deploy.js +3273 -0
  34. data/amber/js/Kernel-Collections.js +4644 -0
  35. data/amber/js/Kernel-Exceptions.deploy.js +244 -0
  36. data/amber/js/Kernel-Exceptions.js +349 -0
  37. data/amber/js/Kernel-Methods.deploy.js +510 -0
  38. data/amber/js/Kernel-Methods.js +739 -0
  39. data/amber/js/Kernel-Objects.deploy.js +2698 -0
  40. data/amber/js/Kernel-Objects.js +3858 -0
  41. data/amber/js/Kernel-Tests.deploy.js +1419 -0
  42. data/amber/js/Kernel-Tests.js +1929 -0
  43. data/amber/js/Kernel-Transcript.deploy.js +142 -0
  44. data/amber/js/Kernel-Transcript.js +202 -0
  45. data/amber/js/SUnit.deploy.js +351 -0
  46. data/amber/js/SUnit.js +501 -0
  47. data/amber/js/amber.js +250 -0
  48. data/amber/js/boot.js +587 -0
  49. data/amber/js/compat.js +22 -0
  50. data/amber/js/init.js +8 -0
  51. data/amber/js/lib/CodeMirror/LICENSE +19 -0
  52. data/amber/js/lib/CodeMirror/amber.css +21 -0
  53. data/amber/js/lib/CodeMirror/codemirror.css +67 -0
  54. data/amber/js/lib/CodeMirror/codemirror.js +2144 -0
  55. data/amber/js/lib/CodeMirror/smalltalk.js +134 -0
  56. data/amber/js/lib/jQuery/jquery-1.4.4.min.js +167 -0
  57. data/amber/js/lib/jQuery/jquery-1.6.4.min.js +4 -0
  58. data/amber/js/lib/jQuery/jquery-ui-1.8.16.custom.min.js +791 -0
  59. data/amber/js/lib/jQuery/jquery.textarea.js +267 -0
  60. data/amber/js/lib/peg-0.6.2.min.js +2 -0
  61. data/amber/js/lib/showdown.js +419 -0
  62. data/amber/js/parser.js +4005 -0
  63. data/amber/js/parser.pegjs +220 -0
  64. data/amber/st/Benchfib.st +124 -0
  65. data/amber/st/Canvas.st +556 -0
  66. data/amber/st/Compiler.st +1425 -0
  67. data/amber/st/Documentation.st +758 -0
  68. data/amber/st/Examples.st +38 -0
  69. data/amber/st/IDE.st +2336 -0
  70. data/amber/st/Kernel-Announcements.st +61 -0
  71. data/amber/st/Kernel-Classes.st +403 -0
  72. data/amber/st/Kernel-Collections.st +1673 -0
  73. data/amber/st/Kernel-Exceptions.st +124 -0
  74. data/amber/st/Kernel-Methods.st +287 -0
  75. data/amber/st/Kernel-Objects.st +1489 -0
  76. data/amber/st/Kernel-Tests.st +892 -0
  77. data/amber/st/Kernel-Transcript.st +70 -0
  78. data/amber/st/SUnit.st +172 -0
  79. data/bin/runresin +12 -0
  80. data/lib/resin.rb +0 -0
  81. data/lib/resin/app/app.rb +121 -0
  82. data/lib/resin/app/views/index.haml +10 -0
  83. metadata +216 -0
@@ -0,0 +1,84 @@
1
+ #wrapper {
2
+ margin-left: 350px;
3
+ text-align: left;
4
+ }
5
+
6
+ #header {
7
+ text-align: left;
8
+ margin: 20px 0;
9
+ }
10
+
11
+ #header .left {
12
+ float: left;
13
+ margin-right: 20px;
14
+ }
15
+
16
+ #header h1 {
17
+ margin: 10px 0;
18
+ }
19
+
20
+ .documentation {
21
+ border-top: 1px solid #999;
22
+ }
23
+
24
+ .documentation a {
25
+ color: #C71212;
26
+ cursor: pointer;
27
+ }
28
+
29
+ .documentation a:hover {
30
+ color: white;
31
+ background: #D15E5E;
32
+ text-decoration: none;
33
+ }
34
+
35
+ .documentation pre {
36
+ border-radius: 3px;
37
+ border: 1px solid #ccc;
38
+ background: #eee;
39
+ padding: 5px;
40
+ margin: 0 20px;
41
+ }
42
+
43
+ .documentation code {
44
+ background: #eee;
45
+ padding: 0 5px;
46
+ }
47
+
48
+
49
+ .documentation .menu {
50
+ position: fixed;
51
+ left: 0;
52
+ bottom: 0;
53
+ top: 0;
54
+ width: 300px;
55
+ background: #ddd;
56
+ overflow-y: scroll;
57
+ }
58
+
59
+ .documentation .doc_chapter {
60
+ position: absolute;
61
+ background: #fafafa;
62
+ left: 300px;
63
+ right: 0;
64
+ padding: 0 20px;
65
+ }
66
+
67
+ .documentation .doc_chapter a {
68
+ background: #eae3c6;
69
+ }
70
+
71
+ .documentation .doc_chapter a:hover {
72
+ background: #D15E5E;
73
+ color: white;
74
+ }
75
+
76
+ .documentation .doc_chapter .links {
77
+ border-top: 1px solid #999;
78
+ margin-top: 10px;
79
+ padding-top: 10px;
80
+ }
81
+
82
+ .documentation .doc_chapter h2 {
83
+ border-bottom: 1px solid #999;
84
+ }
@@ -0,0 +1,75 @@
1
+ html,body {
2
+ margin: 0;
3
+ padding: 0;
4
+ font: 14px "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif;
5
+ line-height: 1.5;
6
+ color: #444;
7
+ }
8
+
9
+ /* Fonts */
10
+
11
+ h1, h2, h3 {
12
+ font-family: 'Istok Web';
13
+ font-weight: normal;
14
+ color: #442905;
15
+ line-height: 1.2;
16
+ }
17
+
18
+ h1 {
19
+ text-align: center;
20
+ font-weight: bold;
21
+ text-shadow: 0px 1px 1px #FFF;
22
+ }
23
+
24
+
25
+ .main {
26
+ width: 900px;
27
+ margin: 0;
28
+ border: 0;
29
+ text-align: center;
30
+ margin: 0 auto;
31
+ }
32
+
33
+ .main img {
34
+ margin: 30px 0;
35
+ }
36
+
37
+ a#back {
38
+ color: #666;
39
+ padding: 20px 0;
40
+ }
41
+
42
+ #tutorial {
43
+ padding: 20px 40px;
44
+ margin: 30px 0;
45
+ text-align: left;
46
+ border: 12px solid #aaa;
47
+ border-radius: 8px;
48
+ -webkit-border-radius: 8px;
49
+ -moz-border-radius: 8px;
50
+ }
51
+
52
+ #tutorial .CodeMirror-scroll {
53
+ overflow: auto;
54
+ height: auto;
55
+ }
56
+
57
+ #footer .main {
58
+ border-top: 1px dashed #bbb;
59
+ padding-top: 10px;
60
+ }
61
+
62
+ #footer p {
63
+ text-align: center;
64
+ line-height: 1em;
65
+ color: #aaa;
66
+ }
67
+
68
+ #footer a {
69
+ color: #3faae1;
70
+ text-decoration: none;
71
+ }
72
+
73
+ #footer a:hover {
74
+ text-decoration: underline;
75
+ }
@@ -0,0 +1,313 @@
1
+ /* CSS Reset */
2
+
3
+ html,body {
4
+ margin: 0;
5
+ padding: 0;
6
+ font: 14px "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif;
7
+ line-height: 1.5;
8
+ color: #444;
9
+ }
10
+
11
+ /* Layout */
12
+
13
+ .clear {clear:both}
14
+
15
+ #header {
16
+ margin: 60px auto;
17
+ margin-bottom: 20px;
18
+ }
19
+
20
+ #header .main {
21
+ text-align: center;
22
+ }
23
+
24
+ .teaser {
25
+ background: #eee;
26
+ border: 3px solid #ccc;
27
+ border-left: 0;
28
+ border-right: 0;
29
+ padding: 20px;
30
+ margin-bottom: 50px;
31
+ }
32
+
33
+ #tabs {
34
+ list-type: none;
35
+ position: absolute;
36
+ top: 0;
37
+ right: 0;
38
+ padding-right: 20px;
39
+ }
40
+
41
+ #tabs li {
42
+ margin: 0 5px;
43
+ display: inline;
44
+ }
45
+
46
+ a {
47
+ text-decoration: none;
48
+ color: #613823;
49
+ }
50
+
51
+ a:hover {
52
+ text-decoration: underline;
53
+ }
54
+
55
+ a.selected {
56
+ text-decoration: underline;
57
+ color: #444;
58
+ }
59
+
60
+
61
+ .main {
62
+ width: 900px;
63
+ margin: 0 auto;
64
+ }
65
+
66
+
67
+ .column {
68
+ float: left;
69
+ width: 440px;
70
+ margin-right: 10px;
71
+ }
72
+
73
+
74
+ /* Fonts */
75
+
76
+ h1, h2, h3 {
77
+ font-family: 'Istok Web';
78
+ font-weight: normal;
79
+ color: #442905;
80
+ line-height: 1.2;
81
+ }
82
+
83
+ h1 {
84
+ font-weight: bold;
85
+ color: #333;
86
+ text-shadow: 0px 1px 1px #FFF;
87
+ }
88
+
89
+ .teaser h1 {
90
+ text-align: center;
91
+ }
92
+
93
+ .box {
94
+ margin: 40px 0;
95
+ color: #777;
96
+ }
97
+
98
+ .box.doc {
99
+ margin-top: 70px;
100
+ position: relative;
101
+ width: 630px;
102
+ }
103
+
104
+ .box .content .warning,
105
+ .box .content .information {
106
+ position: absolute;
107
+ right: -250px;
108
+ margin-top: 20px;
109
+ width: 200px;
110
+ font-size: 14px;
111
+ color: #222;
112
+ font-family: arial,helevetica,sans;
113
+ padding: 10px;
114
+ opacity: 0.7;
115
+ -moz-transition: opacity 0.3s;
116
+ -webkit-transition: opacity 0.3s;
117
+ -o-transition: opacity 0.3s;
118
+ }
119
+
120
+ .box .content .warning:hover,
121
+ .box .content .information:hover {
122
+ opacity: 1;
123
+ }
124
+
125
+ .box .content .information:before,
126
+ .box .content .warning:before {
127
+ font-family: Georgia, sans-serif;
128
+ font-size: 28px;
129
+ font-style: italic;
130
+ position: absolute;
131
+ right: 0;
132
+ top: -21px;
133
+ opacity: 0.5;
134
+ }
135
+
136
+ .box .content .information:before {
137
+ content: "Info";
138
+ color: #a6b1f3;
139
+ }
140
+
141
+ .box .content .warning:before {
142
+ content: "Warning";
143
+ color: #e869e7;
144
+ }
145
+
146
+ .box .content .information {
147
+ background-color: #e4e8ff;
148
+ }
149
+
150
+ .box .content .warning {
151
+ background-color: #f8ccf8;
152
+ }
153
+
154
+ .box .content .code {
155
+ background: #565656;
156
+ border-radius: 10px;
157
+ -moz-border-radius: 10px;
158
+ -webkit-border-radius: 10px;
159
+ padding: 7px;
160
+ }
161
+
162
+ .box .content .code p {
163
+ color: white;
164
+ }
165
+
166
+ .box.first .content .left ul {
167
+ padding-left: 10px;
168
+ }
169
+
170
+ .box.last .content .right {
171
+ width: 300px;
172
+ }
173
+
174
+ .doc .box.first .content .right {
175
+ float: right;
176
+ width: 230px;
177
+ margin-top: 20px;
178
+ padding: 10px;
179
+ background-color: #ececec;
180
+ border: 1px solid #e1e1e1;
181
+ border-radius: 10px;
182
+ -moz-border-radius: 10px;
183
+ -webkit-border-radius: 10px;
184
+ }
185
+
186
+ .doc .box.first .content .right ol,
187
+ .doc .box.first .content .right ol a {
188
+ color: #03388a;
189
+ }
190
+
191
+ .doc .box.first .content .right ol {
192
+ padding: 0 0 7px 35px;
193
+ }
194
+
195
+ .doc .box.first .content .right ol li{
196
+ padding: 7px 0 7px 0;
197
+ }
198
+
199
+ .doc .box.first .content .right ul a {
200
+ font: 15px Helvetica, Arial, sans;
201
+ color: black;
202
+ }
203
+
204
+ .doc .box.first .content .right ul li {
205
+ list-style-type: none;
206
+ padding: 2px 0 2px 0;
207
+ }
208
+
209
+ .trysmalltalk {
210
+ text-align: right;
211
+ padding: 10px;
212
+ }
213
+
214
+ .trysmalltalk textarea {
215
+ width: 850px;
216
+ height: 300px;
217
+ padding: 20px;
218
+ background-color: #eaeaea;
219
+ border: 1px solid #d3d3d3;
220
+ border-radius: 10px;
221
+ -moz-border-radius: 10px;
222
+ -webkit-border-radius: 10px;
223
+ font: 16px monaco, courier, monospace;
224
+ color: 434343;
225
+ line-height: 1.6em;
226
+ }
227
+
228
+ .trysmalltalk button {
229
+ margin: 20px 0 0 5px;
230
+ padding: 4px;
231
+ background: #75aef5;
232
+ border: 1px solid #7caeed;
233
+ border-radius: 8px;
234
+ -moz-border-radius: 8px;
235
+ -webkit-border-radius: 8px;
236
+ color: white;
237
+ cursor: pointer;
238
+ }
239
+
240
+ .trysmalltalk .print-it {
241
+ background: #bebebe;
242
+ border: 1px solid #b2b2b2;
243
+ }
244
+
245
+ .trysmalltalk button:hover {
246
+ background: #3180e1;
247
+ border: 1px solid #518cd6;
248
+ }
249
+
250
+ #counters {
251
+ border: 2px dashed;
252
+ text-align: center;
253
+ padding: 10px;
254
+ margin: 10px;
255
+ background: #ffffcc;
256
+ font-family: arial,helvetica,sans;
257
+ }
258
+
259
+ #counters h1 {
260
+ margin: 10px;
261
+ color: #333;
262
+ }
263
+
264
+
265
+ .trysmalltalk .print-it:hover {
266
+ background: #898989;
267
+ border: 1px solid #919293;
268
+ }
269
+
270
+
271
+ .examples li {
272
+ list-style: none;
273
+ float: left;
274
+ }
275
+
276
+ .examples li img {
277
+ border-radius: 5px;
278
+ border: 5px solid rgba(0,0,0,0.4);
279
+ margin: 5px;
280
+ }
281
+
282
+ .examples a:hover img {
283
+ border-color: rgba(0,0,0,0.8);
284
+ }
285
+
286
+
287
+
288
+ #footer {
289
+ height: 200px;
290
+ border: 1px solid #ccc;
291
+ background: #f3f3f3 url('../images/mosquito.png') 50px 20px no-repeat;
292
+ margin: 0 auto;
293
+ }
294
+
295
+ #footer .main {
296
+ padding-top: 10px;
297
+ }
298
+
299
+ #footer p {
300
+ text-align: center;
301
+ line-height: 1em;
302
+ color: #aaa;
303
+ }
304
+
305
+ #footer a {
306
+ color: #3faae1;
307
+ text-decoration: none;
308
+ }
309
+
310
+ #footer a:hover {
311
+ text-decoration: underline;
312
+ }
313
+