tomchristie/mkdocs — pull request #202 by themartorana (2014-11-07 16:04:53+00:00)
Title: Make long navbars in readthedocs theme scroll vertically if necessary

Our docs tend to be lengthy, and the side-bar fills up. This adds vertical scrollability to long sidebars if needed.

The diff is ridiculous, so this adds

```
overflow-y: auto;
height: 100%;
```

to the `.wy-nav-side` CSS definition.