I chose Alt+R to be consistent with the Alt+Home shortcut. Ctrl+R is already in use. I also removed the max-height property to prevent the "Navigation" section from being displayed in a different tab:
I could increase the max-height to 13 or 14, but it doesn't seem necessary to have it.
I chose
Alt+R
to be consistent with theAlt+Home
shortcut.Ctrl+R
is already in use. I also removed themax-height
property to prevent the "Navigation" section from being displayed in a different tab:I could increase the
max-height
to 13 or 14, but it doesn't seem necessary to have it.Closes #95