Sidebar resizer

Fixes #2072.

- [ ] Main toolbar is a problem: items overflow on smaller widths
- [ ] Sidebar does not behave well yet on small width or when the width becomes smaller.