Ceda EI 20fb7f9bc2 Merge upstream new version

2021-08-25 00:16:57 +05:30

..

application.css

Merge upstream new version

2021-08-25 00:16:57 +05:30

application.js

Merge branch 'master' into fix-content-type

2020-10-06 01:18:22 -04:00

application.min.js

Merge branch 'master' into fix-content-type

2020-10-06 01:18:22 -04:00

favicon.ico

Added a favicon

2011-11-29 20:24:53 -05:00

function-icons.png

Redo the UI. Light Theme.

2020-07-16 17:25:37 +05:30

highlight.min.js

Update highlight JS to the most recent version

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

hover-dropdown-tip.png

Implement redesign of key

2011-11-23 11:31:50 -05:00

index.html

Redo the UI. Light Theme.

2020-07-16 17:25:37 +05:30

jquery.min.js

Serve local jquery. Use tomorrow-night-bright instead of solarized_dark

2019-07-17 16:48:33 +05:30

logo.png

Redo the UI. Light Theme.

2020-07-16 17:25:37 +05:30

robots.txt

Added non-standard but desirable robots.txt

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

tomorrow.css

Use tomorrow instead of tomorrow-night-bright.

2020-07-15 18:14:33 +05:30