Claude Petit 3f71ecd058

Merge 98f917fd23a4157ba2efb2313d925a137780b3f9 into b866c33c9306142d805a2a91ec8503d185636ade

2019-04-23 15:58:25 +00:00

..

application.css

removed padding for #box for correct view

2017-10-13 15:13:04 +02:00

application.js

Merge 98f917fd23a4157ba2efb2313d925a137780b3f9 into b866c33c9306142d805a2a91ec8503d185636ade

2019-04-23 15:58:25 +00:00

application.min.js

Upgrade uglify and simplify usage

2017-10-31 21:19:22 -04:00

favicon.ico

Added a favicon

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

function-icons.png

update function icons

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

highlight.min.js

Upgrade highlight.js

2017-10-31 19:48:55 -04:00

hover-dropdown-tip.png

Implement redesign of key

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

index.html

Add base url support

2016-11-15 21:43:22 -05:00

logo.png

Implement redesign of key

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

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