Rapptz d747f2c88b Use a new scorer to improve search results. ...

This makes the other pages take less priority than the API results.
It's kind of biased, but hopefully it helps out.

2019-06-29 02:36:26 -04:00

..

custom.js

Highlight currently visited section.

2017-05-16 03:12:43 -04:00

scorer.js

Use a new scorer to improve search results.

2019-06-29 02:36:26 -04:00

style.css

Make more use of screen space in the documentation.

2019-06-28 02:11:22 -04:00