td#branding
	{
	background: #0068b3 url(bg_header.gif) repeat-x top left;
	border-bottom: 5px solid #7c9fd1; /* -- color of border to be supplied by application -- */
	}

a
	{
	color: #172;
	text-decoration: none;
	}
a:link
	{
	}
a:visited
	{
	}
a:active
	{
	}
a:hover
	{
	color: #06f;
	}

ul#main_nav li, ul#main_nav a
	{
	color: #172;
	}

div#container td#workspace table.data tr:hover
	{
	background-color: #bec !important;
	}
