Diego a00b046b3d Update_lang.js ...

on line 101 missing a semicolon

2017-07-20 11:01:19 -07:00

..

_lang.js

Update_lang.js

2017-07-20 11:01:19 -07:00

_search.js

Add configurable keypress delay before initiating search (#764)

2017-06-18 23:15:59 -07:00

_toc.js

Fix bug with initial load of ToC always jumping to top

2017-07-06 23:32:43 -07:00