Skip to content

Commit c213c93

Browse files
committed
Initial commit
1 parent 23959e5 commit c213c93

31 files changed

+1450
-1145
lines changed

.gitignore

Lines changed: 0 additions & 1 deletion
This file was deleted.

LICENSE

Lines changed: 0 additions & 21 deletions
This file was deleted.

README.html

Lines changed: 857 additions & 0 deletions
Large diffs are not rendered by default.

README.md

Lines changed: 0 additions & 1089 deletions
This file was deleted.
File renamed without changes.

assets/DroidSans.woff

25.7 KB
Binary file not shown.

assets/assert.css

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
.FAIL b, .ERROR b { color: red; /* #990066 */ }
2+
.PASS b { color: #73C836; }
3+
input.runner {
4+
margin-top: 0.1em;
5+
margin-bottom: 1em;
6+
font-size: large;
7+
padding: 0.3em;
8+
}
9+
ol.runner { margin-bottom: 0.2em; }
10+
pre.run { margin-bottom: 0.2em;}

assets/hljs-github.min.css

Lines changed: 124 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,124 @@
1+
/*
2+
3+
github.com style (c) Vasily Polovnyov <vast@whiteants.net>
4+
5+
*/
6+
7+
.hljs {
8+
display: block;
9+
overflow-x: auto;
10+
padding: 0.5em;
11+
color: #333;
12+
background: #f8f8f8;
13+
-webkit-text-size-adjust: none;
14+
}
15+
16+
.hljs-comment,
17+
.diff .hljs-header,
18+
.hljs-javadoc {
19+
color: #998;
20+
font-style: italic;
21+
}
22+
23+
.hljs-keyword,
24+
.css .rule .hljs-keyword,
25+
.hljs-winutils,
26+
.nginx .hljs-title,
27+
.hljs-subst,
28+
.hljs-request,
29+
.hljs-status {
30+
color: #333;
31+
font-weight: bold;
32+
}
33+
34+
.hljs-number,
35+
.hljs-hexcolor,
36+
.ruby .hljs-constant {
37+
color: #008080;
38+
}
39+
40+
.hljs-string,
41+
.hljs-tag .hljs-value,
42+
.hljs-phpdoc,
43+
.hljs-dartdoc,
44+
.tex .hljs-formula {
45+
color: #d14;
46+
}
47+
48+
.hljs-title,
49+
.hljs-id,
50+
.scss .hljs-preprocessor {
51+
color: #900;
52+
font-weight: bold;
53+
}
54+
55+
.hljs-list .hljs-keyword,
56+
.hljs-subst {
57+
font-weight: normal;
58+
}
59+
60+
.hljs-class .hljs-title,
61+
.hljs-type,
62+
.vhdl .hljs-literal,
63+
.tex .hljs-command {
64+
color: #458;
65+
font-weight: bold;
66+
}
67+
68+
.hljs-tag,
69+
.hljs-tag .hljs-title,
70+
.hljs-rules .hljs-property,
71+
.django .hljs-tag .hljs-keyword {
72+
color: #000080;
73+
font-weight: normal;
74+
}
75+
76+
.hljs-attribute,
77+
.hljs-variable,
78+
.lisp .hljs-body {
79+
color: #008080;
80+
}
81+
82+
.hljs-regexp {
83+
color: #009926;
84+
}
85+
86+
.hljs-symbol,
87+
.ruby .hljs-symbol .hljs-string,
88+
.lisp .hljs-keyword,
89+
.clojure .hljs-keyword,
90+
.scheme .hljs-keyword,
91+
.tex .hljs-special,
92+
.hljs-prompt {
93+
color: #990073;
94+
}
95+
96+
.hljs-built_in {
97+
color: #0086b3;
98+
}
99+
100+
.hljs-preprocessor,
101+
.hljs-pragma,
102+
.hljs-pi,
103+
.hljs-doctype,
104+
.hljs-shebang,
105+
.hljs-cdata {
106+
color: #999;
107+
font-weight: bold;
108+
}
109+
110+
.hljs-deletion {
111+
background: #fdd;
112+
}
113+
114+
.hljs-addition {
115+
background: #dfd;
116+
}
117+
118+
.diff .hljs-change {
119+
background: #0086b3;
120+
}
121+
122+
.hljs-chunk {
123+
color: #aaa;
124+
}

assets/jquery-1.6.1.min.js

Lines changed: 18 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/prettify.css

Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
/* Pretty printing styles. Used with prettify.js. */
2+
3+
/* SPAN elements with the classes below are added by prettyprint. */
4+
.pln { color: #000 } /* plain text */
5+
6+
@media screen {
7+
.str { color: #080 } /* string content */
8+
.kwd { color: #008 } /* a keyword */
9+
.com { color: #800 } /* a comment */
10+
.typ { color: #606 } /* a type name */
11+
.lit { color: #066 } /* a literal value */
12+
/* punctuation, lisp open bracket, lisp close bracket */
13+
.pun, .opn, .clo { color: #660 }
14+
.tag { color: #008 } /* a markup tag name */
15+
.atn { color: #606 } /* a markup attribute name */
16+
.atv { color: #080 } /* a markup attribute value */
17+
.dec, .var { color: #606 } /* a declaration; a variable name */
18+
.fun { color: red } /* a function name */
19+
}
20+
21+
/* Use higher contrast and text-weight for printable form. */
22+
@media print, projection {
23+
.str { color: #060 }
24+
.kwd { color: #006; font-weight: bold }
25+
.com { color: #600; font-style: italic }
26+
.typ { color: #404; font-weight: bold }
27+
.lit { color: #044 }
28+
.pun, .opn, .clo { color: #440 }
29+
.tag { color: #006; font-weight: bold }
30+
.atn { color: #404 }
31+
.atv { color: #060 }
32+
}
33+
34+
/* Put a border around prettyprinted code snippets. */
35+
pre.prettyprint { background: none; font-size: 14px;}
36+
37+
/* Specify class=linenums on a pre to get line numbering */
38+
ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
39+
li.L0,
40+
li.L1,
41+
li.L2,
42+
li.L3,
43+
li.L5,
44+
li.L6,
45+
li.L7,
46+
li.L8 { list-style-type: none }
47+
/* Alternate shading for lines */
48+
li.L1,
49+
li.L3,
50+
li.L5,
51+
li.L7,
52+
li.L9 { background: #eee }

assets/prettify.js

Lines changed: 28 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/runner.js

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
var dummy = {
2+
console: function(elementId) {
3+
return {
4+
log: function() {
5+
var msg = "";
6+
for ( var i = 0; i < arguments.length; i++ ) {
7+
msg += " " + JSON.stringify(arguments[i]);
8+
}
9+
jQuery("#results_"+elementId).append("<li class='LOG'><b>LOG</b> " + msg + "</li>");
10+
},
11+
error: function(msg){
12+
jQuery("#results_"+elementId).append("<li class='ERROR'><b>ERROR</b> " + msg + "</li>");
13+
}
14+
}
15+
}
16+
};
17+
18+
function run(id) {
19+
try {
20+
var str = 'var console = dummy.console("'+id+'"); ' + jQuery('#block_'+id).text();
21+
(new Function('dummy', str ))(dummy);
22+
} catch(e){
23+
var d = dummy.console(id);
24+
d.error(e.message);
25+
}
26+
}
27+
28+
$(document).ready(function() {
29+
var i = 1;
30+
jQuery(".run").each(function(idx, elem) {
31+
jQuery(elem).attr('id','block_'+i).after('<ol id="results_'+i+'" class="runner"></ol><input type="button" value="Run" class="runner" onclick="run('+i+');">');
32+
i++;
33+
});
34+
prettyPrint();
35+
});

0 commit comments

Comments
 (0)