/*** empty placeholder, may be overridden by menu themes ***/