michael@0:   button, vbox, menu, menuitem, menupopup  {
michael@0:     box-sizing: content-box;
michael@0:   }