.tabs td, .tabs th {
	background-image: url(tab-left-corner.gif);
	background-repeat: no-repeat;
}

.banner {
	background-image: url(tab-left-corner.gif);
	background-repeat: no-repeat;
	font : bold normal medium serif;
	font-size: xx-large;
	color : Maroon;
	text-decoration : underline overline;
	background-color : #E0D0D0;
}

.breadcrumbs {
	border-bottom: 1px solid #E0D333;
	border-right: 1px solid #E0D333;
	border-left: 1px solid #E0D333;
	background-color : #E0DDD4;
	font-family : sans-serif;
	font-weight : bold;
	font-size : x-small;
}

.tabs {
	color: #1F222A;
	border-bottom: 6px #E0Dddd solid;
	font : small sans-serif;
}

.tabs th {
	border-right: 1px solid #E0D333;
	background-color : #E0DDD4;
}

.tabs td {
	border-bottom: 1px solid #E0D333;
	border-right: 1px solid #E0D333;
	background-color : #F0EDE4;
}

.tabs th, .tabs th a:link, .tabs th a:visited {
	color: #1F222A;
}

.tabs td, .tabs td a:link, .tabs td a:visited {
	color: #1F222A;
}

.tabs a {
	text-decoration: none;
}

.leftcol {
	font : small sans-serif;
}

.navgroup {
	border: 1px solid #E0D0D0;
	background-color : #E0E0E0;
	padding: 5px;
	margin-bottom : 10px;
}

.navgroup h1 {
	font : small bold sans-serif;
	text-align : center;
}

.navgroup div {
	font : x-small sans-serif;
	margin-bottom : 3px;
	margin-left : 10px;
	text-indent : -10px;
}
.navgroup div div {
	margin-left : 15px;
	text-indent : -15px;
}


.rightcol {
	font : small sans-serif;
}

.content {
}

.toplink {
	font : italic small sans-serif;
	background-color : #f0fFf0;
	border: 1px solid #0F000F;
	padding: 2px;
}

.content .disclaimer {
	font : italic small serif;
	text-align : center;
}

.content .projectgroup {
	margin-bottom: 6px;
}

.content .projectgroup .project {
	border: 1px solid #E0D0D0;
	background-color : #F0EDE4;
	padding: 5px;
	margin-bottom : 10px;
}	

.content .projectgroup .project a:active {
	text-decoration : underline overline;
	font-weight : bold;
}
.content .projectgroup .project a:link {
	text-decoration : underline overline;
	font-weight : bold;
}

.content .projectgroup .project a:hover {
	text-decoration : underline overline;
	font-weight : bold;
}

.content .projectgroup .project a:visited {
	text-decoration : underline overline;
	font-weight : bold;
}

.content .projectgroup .project .prereq {
	background-color : #F0EDE4;
	margin: 10 px;
	font-family: sans-serif;
}	

.content .componentgroup {
	font-size : small;
	border: 1px solid #E0D0D0;
	background-color : #F0EDE4;
	padding: 5px;
	margin-bottom : 10px;
}

.content .componentgroup h1 {
	font-size : medium;
	font-weight : bold;
	font-style : normal;
	font-family : sans-serif;
}

.content .componentgroup dt {
	font-family : monospace;
	color : green;
}
.content .componentgroup dd {
	margin-bottom : 5px;
}

.content h1 {
	font-size : large;
	font-weight : bold;
	font-style : normal;
	font-family : sans-serif;
}
.content h2 {
	font-size : large;
	font-weight : normal;
	font-style : normal;
	font-family : sans-serif;
}
.content h3 {
	font-size : small;
	font-weight : bold;
	font-style : normal;
	font-family : sans-serif;
}

.code {
	font-family : monospace;
	color : green;
}

.logo {
	font-family : serif;
	font-weight: bold;
	color : Maroon;
	text-decoration : underline overline;
	background-color : #E0D0D0;
}

.logo a:link {
	text-decoration : underline overline;
	font-weight : bold;
}

.logo a:link {
	text-decoration : underline overline;
	font-weight : bold;
}

.logo a:hover {
	text-decoration : underline overline;
	font-weight : bold;
}

.logo a:visited {
	text-decoration : underline overline;
	font-weight : bold;
}


.definition {
	margin : 10px;
	font-family: serif;
	font-size: small;
	border-bottom: 1px solid #E0D333;
	border-top: 1px solid #E0D333;
	border-right: 1px solid #E0D333;
	border-left: 1px solid #E0D333;
	background-color : #F0EDE4;
	text-align : center;
}

.definition .term {
	font-weight: bold;
	font-family: sans-serif;
}

.definition .type {
	font-style: italic;
	font-weight: bold;
}

.definition .pron {
	font-family: sans-serif;
}

.footnote {
	border-top: 1px solid #E0D333;
	border-bottom: 1px solid #E0D333;
	background-color : #F0EDE4;
}