body {
	background:transparent url(../img/rightshadow.gif) repeat-y scroll 0 0;
	font-family: verdana, arial, sans-serif;
	font-size: .8em;
	color: black;
}

a:link {
	text-decoration: none;
}

a:visited {
	text-decoration: none;
	color: blue;
}

a:hover {
	text-decoration: underline;
}

a:active {
	text-decoration: none;
}

a.tipLink span {
	display: none;
}

a.tipLink:hover {
	position: relative;
	text-align: right;
}
.caseLinks{
	width:18em;	
}
.contract{
	display:none;	
}

.bottomRight{
	float: right;
	height: 6px;
	width:6px;	
	left:6px;
	position:relative;
	background:transparent url(../img/brshadow.gif) no-repeat scroll 0 0;
}

.rightShadow{
	background:transparent url(../img/rightshadow.gif) repeat-y scroll right center;
	overflow:visible;
}

tr.errorRow td{
	background-color:#FFDDDD;
	}

.highlight{
	border-top:1px solid #eee;
	border-left:1px solid #eee;
	padding:1em;
	position:relative;
	overflow:hidden;
}

table#classListTable{
	border-width:0;
	background-color:#BBB;
}

thead.classListHead{
	background-color:#DDD;
}

tbody.classListBody{
	background-color:#EEE;
}

a.tipLink:hover span {
	display: block;
	position: absolute;
	left: 0;
	top: 0em;
	font-size: 1.5em;
	background-color: #DDD;
	border: 1px dotted #BBB;
}
.smallText{
	font-size:.8em;
}
.titleLeft{
	float:left;
}
.titleRight{
	border-left: 1px solid black;
	float:right;
	width:310px;
}

table.titleStatTable{
	font-size:.8em;
	float:right;
}

td.titleTableLabel{
	text-align:right;
	font-weight:bold;
}

.wideDivider{
	background: transparent url(../img/bottomshadow.gif) repeat-x scroll 0 0;
	height: 1em;
	width:66.5em;
	margin-left: 3px;
	position:relative;
	top:-3px;
	z-index:-20;
	}
	
.divider{
	background: transparent url(../img/bottomshadow.gif) repeat-x scroll 0 0;
	height: 1em;
	width:47em;
	margin-left:3px;
	position:relative;
	top:-3px;
	z-index:-20;
	}
.dividerRight{
	background: transparent url(../img/bottomshadow.gif) repeat-x scroll 0 0;
	height: 1em;
	position:relative;
	top:-3px;
	z-index:-20;
	margin-left:3px;
	}

.titleContainer {
	border-width: 1px 0;
	border-style: solid;
	border-color: #BBBBBB;
	margin-right: 6px;
	position:relative;
	top: -3px;
}

.statsContainer{
	border-width: 1px 0;
	border-style: solid;
	border-color: #BBB;	
	font-size:.8em;
}

.consoleOut {
	border: 1px solid rgb(187, 187, 187);
	background: rgb(238, 238, 238) none repeat scroll 0% 0%;
	overflow: auto;
	width: 55em;
	padding:5px;
	max-height: 300px;
}

table{
	font-size:1em;	
}

.errors{
	border: 1px solid red;
	background-color: #FFDDDD;
}

.titleNotchContent {
	display: block;
	position: relative;
	margin: 0 -1px;
	border-width: 0 1px;
	border-color: #BBB;
	border-style: solid;
	background-color: #CCC;
}

.notchContent {
	display: block;
	position: relative;
	margin: 0 -1px;
	border-width: 0 1px;
	border-color: #BBB;
	border-style: solid;
	background-color: #DDD;
}
#nonContract{
	display: none;	
}

.break {
	font-size: 1px;
	line-height: 1px;
	float: right !important;
}

.notchContentRight {
	display: block;
	position: relative;
	margin: 0 -1px;
	border-width: 0 1px;
	border-color: #BBB;
	border-style: solid;
	background-color: #DDD;
}

.content {
	width: 67.2em;
}

.num {
	display: none;
}

.percent {
	display: block;
}

.sourceBorder {
	border: 1px solid #BBBBBB;
	font-size: .77em;
	overflow: hidden;
}

.bar {
	display: block;
	border-width: 1px 0;
	border-style: solid;
	border-color: #000000;
	float: left;
	height: .7em;
	width: 2em;
	position: relative;
	top: .15em;
	right: -.5em;
}

.barNotchContent {
	background-color: #FF0000;
	display: block;
	position: relative;
	margin: 0 -1px;
	overflow: hidden;
	border-width: 0 1px;
	border-color: #000;
	border-style: solid;
}

.greenHighlight {
	background-color: rgb(102, 204, 102);
}

.yellowHighlight {
	background-color: rgb(204, 255, 51);
}

.greenBar {
	background-color: #60de51;
	height: .7em;
}

.contentContainer {
	border-width: 1px 0;
	border-style: solid;
	border-color: #BBBBBB;
	margin-right:6px;
	position:relative;
	top:-3px;
}

.rightContentContainer {
	border-width: 1px 0;
	border-style: solid;
	border-color: #BBBBBB;
	width: 19em;
	float: right;
}

.leftContainer {
	float: left;
	width: 47.5em;
}

.rightContainer {
	width: 19em;
	float: right;
}

#classMethodListContainer {
	border-width: 1px 0;
	border-style: solid;
	border-color: #BBB;
	width: 47.5em;
}

#methodTable {
	border: 1px solid #BBBBBB;
	width: 44em;
	word-wrap: break-word;
}

#classList {
	background-color: #DDDDDD;
	padding-left: 2em;
	padding-top: 1em;
}

.bigLabel {
	font-weight: bold;
	font-size: 1.1em;
	float: left;
	position: relative;
	top: -.05em;
}

td.topMethodCell {
	background-color: #EEEEEE;
	cursor: pointer;
}

tr.topMethodRow {
	border-bottom: 1px solid #555555;
}

td.methodNameCell {
	background-color: #EEEEEE;
	margin-right: 0px;
	margin-left: 0px;
	word-wrap: break-word;
	width: 20em;
}

td.methodCell {
	background-color: #EEEEEE;
	margin-right: 0px;
	margin-left: 0px;
}

table.invisible {
	border: 0px;
	padding: .25em;
}

td.testErrorCell {
	color: red;
	font-size: .7em;
	text-align: center;
}

td.testCell {
	valign: center;
	width: 100px;
	border: 1px solid black;
}

table.bar {
	border: 1px solid #000000;
	float: left;
}

table.title {
	border: 1px solid #c7cbcc;
	background-color: #A8A8A8;
}

table.style1 {
	border: 1px solid #c7cbcc;
	background-color: #E6E8FA;
}

table.style2 {
	border: 1px solid #c7cbcc;
	background-color: #D9D9F3;
}

table.info {
	border: 1px solid #FFFFFF;
	background-color: #CCCCCC;
}

table.source {
	border: 1px solid #000000;
	background-color: #FFFFFF;
}

tr.application {
	background-color: #e1f6f7;
}

tr.package {
	background-color: #e1f6f7;
}

tr.class {
	background-color: white;
}

tr.method {
	background-color: white;
}

td.title {
	font-size: large;
	font-weight: bold;
}

td.good {
	color: #60de51;
}

td.bad {
	color: #f25913;
}

table.bar {
	background-color: #FF0000;
}

td.bar {
	background-color: #60de51;
}

td.red {
	background-color: #FF0000;
}

pre.red {
	background-color: #FF0000;
}

<!--
Following classes are for syntax highlighting in source -->code {
	
}

.java_type {
	
}

.java_comment {
	color: #717ab3;;
}

.java_operator {
	
}

.java_separator {
	
}

.java_plain {
	color: rgb(0, 0, 0);
}

.java_javadoc_comment {
	color: #717ab3;
	font-style: italic;
}

.java_keyword {
	color: #7f0055;
	font-weight: bold;
}

.java_literal {
	color: #7f0055;
}

.java_javadoc_tag {
	color: rgb(147, 147, 147);
	font-style: italic;
	font-weight: bold;
}