div#banner {
 border-top: 1px solid #fff;
 border-bottom: 1px solid #aaa;
}

#banner, #banner td {
 background: #fff;
 color: #036;
}

#tabs {
  text-align: right;
}

.selectedTab {
  color: #036;	
}

 a.unselectedTab {
  color: #888888;	
}

#source {
 background-color: #fff;
 color: #000;
 border-right: 1px solid #888;
 border-left: 1px solid #888;
 border-top: 1px solid #888;
 border-bottom: 1px solid #888;
 margin-right: 7px;
 margin-left: 7px;
 margin-top: 1em;
}

#source pre {
 margin-right: 7px;
 margin-left: 7px;
}

/* make the whole column grey */
#navcolumn {
 width: 150px;
 }

#leftcol {
 width: 150px;
}

/*
 * The Menu section.
 */
.menuColumn {
}

.menu {
  padding-bottom: .2em;
  font-size: x-small;
  text-decoration: none;
}
.menuLabel { font-weight: bold; }
.menuItem {
  padding-left: 12px;
  text-decoration: none;
}

/* breadcrumbs */
#breadcrumbs
{
	font-weight: bold;
}
.breadcrumbTrail
{
	padding-left: 5px;
}
.breadcrumb
{
	font-weight: bold;
}
.crumbSeparator
{
}