John Crepezzi 181a3a2bfa Use the now-separate json mode for json highlighting ...

Closes #267

2020-10-06 00:36:41 -04:00

..

application.css

remove 1px margin from textarea, fixes useless scrollbar

2020-05-18 09:34:57 +01:00

application.js

Use the now-separate json mode for json highlighting

2020-10-06 00:36:41 -04:00

application.min.js

Use the now-separate json mode for json highlighting

2020-10-06 00:36:41 -04:00

favicon.ico

…

function-icons.png

update function icons

2012-01-22 23:41:40 -05:00

highlight.min.js

Update highlight JS to the most recent version

2020-10-06 00:07:07 -04:00

hover-dropdown-tip.png

…

index.html

Merge pull request #129 from Wohlstand/patch-1

2016-09-19 09:36:56 -04:00

logo.png

…

robots.txt

Added non-standard but desirable robots.txt

2011-12-16 08:18:04 -05:00

solarized_dark.css

Upgrade highlight.js

2016-09-12 20:10:15 -04:00