Clean up the shortcuts page

Split apart the MacOS and Windows shortcuts. Standardize the
capitalization. Tidy column lengths to make tables easier to read.
Split out "disable keyboard shortcuts" into a CTRT-style subheading.