Welcome to Arch.
Did you really sign up so you could ask this here? Are you using Cinnamon on Arch? Where else did you look for the answer to this question?
>Did you really sign up so you could ask this here?
Why not?
>Are you using Cinnamon on Arch?
Yes. Arch+gnome 3+cinnamon.
>Where else did you look for the answer to this question?
I googled it up and somewhere someone said to modify /usr/share/cinnamon/theme/cinnamon.css, where it says something like "panel", but that just makes it bigger or smaller...
Did you really sign up so you could ask this here? Are you using Cinnamon on Arch? Where else did you look for the answer to this question?
]]>Edit: just theme's problem, switching now to another theme.
]]>