mongodb/docs-tools — pull request #63 by i80and (2014-09-25 15:38:51+00:00)
Title: DOCS-4019: Add navigational hints

Tested on:

- Firefox 32 (Hard-coded 1.5px offset necessary because of bug 727125)
- Chrome 37
- Safari 7

No-JavaScript story remains unchanged: no navbar.

@rawfalafel Could you review this?