Minor doc edits, highlighting current page in sidebar