body {
	font-family: Monaco; Courier-new; mono;
	font-size: 10pt;
}

table {
	font-size: 10pt;
}

div.sstHeading {
	color: white;
	background-color: darkred;
	padding: 0.4em;
	font-family: sans-serif;
	font-size: 14pt;
	font-weight: bold;
}

div.topLinks {
	font-family: sans-serif;
	padding-left: 0.4em;	
	margin-top: 0.25em;
	margin-bottom: 1em;
}

div.title {
	color: white;
	background-color: darkblue;
	padding: 0.4em;
	margin-bottom: 0.5em;
	font-family: sans-serif;
	font-size: 12pt;
	font-weight: bold;
}

table.keyValues {
	padding-bottom: 1em;
}

td.key {
}

td.value {
}

table.stack {
	
}

tr.frameHead {
	
}

td.number {
	text-align: right;
}

td.qualifiedMember {
	background-color: #7f7;
	padding: .2em;
}

td.indent {
	background-color: #fff;
}

td.label {
	text-align: right;
	color: #777;
	padding-right: 1em;
}

td.sourceLocation {
	
}

tr.frameDetails1 {
	background-color: #fff;
	vertical-align: top;
}

tr.frameDetails2 {
	background-color: #eee;
	vertical-align: top;
}

tr.blank {
	
}


table.object {
	margin-bottom: 2em;
	border: 1px solid black;
}

tr.objectTitle {
	background-color: #7f7;
}

td.objectTitle {
	padding: .3em;
	text-align: left;
	border-bottom: 1px solid black;
}

tr.keyValue1 {
	background-color: #fff;
}

td.key1 {
	padding: .25em;
	padding-left: 1em;
	vertical-align: top;
}

td.value1 {
	padding: .25em;
	padding-left: 1em;
}

tr.keyValue2 {
	background-color: #eee;
	padding: .25em;
	vertical-align: top;
}

td.key2 {
	padding: .25em;
	padding-left: 1em;
}

td.value2 {
	padding: .25em;
	padding-left: 1em;
}