/* GENERAL STYLES */
/* Top menu bar used for displaying categories */
div.topMenuBar
{
	border-top: solid 1px #c0c8cd;
	border-bottom: solid 1px #c0c8cd;
	padding-top: 8px;
	padding-bottom: 8px;
	margin-top: 20px;
	font-size: 0.6em;
	margin-right: 20px;
}
div.topMenuBar table.subMenuItems
{
	margin-left: 5px;
	margin-right: 5px;
}
div.topMenuBar table.subMenuItems td
{
	padding-right: 15px;
}

/* EDITOR PROPERTIES */