Provided alternatives for Ctrl+Up/Down with Ctrl+,/. in Mac

Fixes bug 2761.
Whitespace fixes and styling corrections.