Community
Participate
Working Groups
Currently, if you want to theme a menu you can influence the menu's size by setting a padding on the Menu. But this has an ugly side effect. To see what I mean set the padding to e.g. 15px. Then you need to hover a menu item (it need to change it's background on hover). You will see that the padding does not change it's background. This is the expected behaviour. But currently we don't provide any possibility to affect the menu item's size. We do not allow setting a padding, margin or something else. This makes it's nearly impossible to style menu well. AS a result we can affect the size of a menu via theming, but we can't affect the size of a meu item via theming.
So, if i understand this correctly, we should make padding for MenuItem themeable? Margin would also be possible, but the hover effect would still not extend to the margin, as the margin is not part of the item.
Created attachment 207965 [details] increased MenuItem padding and separator padding
MenuItem now has a padding property.
Please make the Menu-Separator-Line themable. Currently it's margin and padding properties are hard-coded in Menu.appearance.js
Sorry, I was talking of "menu-separator" not "menu-separator-line"
Applied patch to CVS HEAD and made Menu[SEPARATOR] "padding" property themable.
