A way to shrink the side menu?

📢 Feedback Feature Requests
21

I like it, looks like it might work