Resize sidebars with double-click to reset

Sidebars are now resizable by dragging, and you can double-click to reset them to their default width.