Make sidebar font smaller
Change the 'get binaries' link to 'download binaries'
Merge branch 'develop'