/* 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
{font: bold 11pt, Garamond, Tahoma, Arial, sans serif;
 color: #185573;
 background-color: #E7DFC6;
 line-height: 110%
}

/* defines the format of menu items when the mouse is over them */
.menuitem_highlight
{font: bold 11pt, Garamond, Tahoma, Arial, sans serif;
 color: #663333;
 background-color: #E7DFC6;
 line-height: 110%
}

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

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