Ambrose Chua e9b186f352 Improve documentation menu (#745) ...

Fixes a issue where the menu is out of sync with the content on-screen.

2017-01-09 17:04:50 +05:30

..

app.js

Improve documentation menu (#745)

2017-01-09 17:04:50 +05:30

dropit.js

fix menu hiding bug

2015-10-16 13:52:09 +05:30

ismobile.js

make menu links "clickable" only on mobile devices

2016-09-06 19:28:28 +05:30

prism.js

init jekyll

2015-02-08 22:23:53 +05:30

retina.js

init jekyll

2015-02-08 22:23:53 +05:30