/* SimpleMenu formatting */

/* defines the format of each menu as a whole */
.menu
{
}

/* defines the format of menu items when the mouse is not over them */
.menuitem_normal
{
}

/* defines the format of menu items when the mouse is over them */
.menuitem_highlight
{
}

/* defines the format of menu separators */
.menu_separator
{
}

/* defines the format of menu blobs (such as tips) */
.menu_blob
{
}