Refine side-docking mode

- Make sure top-right navigation is still visible
- Make sure output always expands to fill height
Use different caret widths for different screen sizes