Make buttons smaller, and everything a bit tighter

[emilk]

Small tweaks

Before:

After:

Checklist

• I have read and agree to Contributor Guide and the Code of Conduct
• I've included a screenshot or gif (if applicable)
• I've added a line to CHANGELOG.md (if this is a big enough change to warrant it)

[emilk]

This will be easier once we have icons for for options and help

[Wumpf]

a bit scary how much more values aren't from the design tokens
overall I like it but personally I think the selection highlight (like in the picture on the object path in the selection panel) is a bit too tight (is that egui::Frame::outer_margin? can't map all code changes to their respective visual changes tbh)

[emilk]

Yeah, we likely need to tweak this again. The button_padding is an egui thing that was made for buttons with frames. It basically adds an inner margin around buttons before adding the background frame. Without frames it just adds weird space around the text in buttons, making them not align with other text.

So making button_padding smaller makes buttons act more like any other text when not interacted, which is why things in the selection panel now line up better.

However, making button_padding smaller also makes the highlighted frame smaller, which can look weird. I might have to tweak this in egui, to allow for a growing frame on hover.