body {
	margin: 0px;
}

#tracepane {
	//float: right;
	//position: absolute;
	//top: 0px;
	//left: 750px;
	float: left;
	width: 250px;
	height: 500px;
	overflow: auto;
	border-top: 2px solid #cccccc;
	border-right: 2px solid #cccccc;
}

#trace {
	padding: 10px;
	line-height: 20px;
}

#codepane {
	float: left;
	//position: absolute;
	//top: 0px;
	//left: 0px;
	//margin-right: 220px;
	//margin-right: 20px;
	//border-right: 1px solid black;
	height: 500px;
	width: 700px;
	overflow: auto;
	border-top: 2px solid #cccccc;
	border-left: 2px solid #cccccc;
}

#code {
	padding: 20px;
}

#watchpane {
	clear: both;
	width: 950px;
	overflow: auto;
	border: 2px solid #cccccc;
	//border-top: none;
}

#watch {
	padding: 10px;
}

/*
a.livetrace {
	background-color: #bcd5fc;
	border-bottom: none;
}
*/
/*
a.livetrace {
	border-top: 1px solid #999;
	border-left: 1px solid #999;
	border-bottom: 2px solid black;
	border-right: 2px solid black;
}
*/
a.livetrace {
	background-color: #bcd5fc;
}

#codepane a, #tracepane a {
	color: black;
	text-decoration: none;
	border-bottom: 1px dotted black;
}

a img {
	border: 0px;
}
/*
.highlighted {
	//background-color: #999;
	border-top: 1px dotted #999;
	border-left: 1px dotted #999;
	border-bottom: 1px dotted black;
	border-right: 1px dotted black;
}
*/
.highlighted {
	border: 1px solid #bcd5fc;
}

.val, .set { display: none; }

.loop { text-indent: -30px; display: none; }
.initloop { text-indent: -30px; }

.parent { text-indent: -12px; }
.parent a { border: 0px; }

.live {
	display: none;
	padding-top: 15px;
	margin-top: -15px;
}

.innerlive {
	border: 2px solid #bcd5fc;
	line-height: 15px;
}
/*
.innerlive {
	border-top: 1px solid #999;
	border-left: 1px solid #999;
	border-bottom: 2px solid black;
	border-right: 2px solid black;
	line-height: 15px;
}
*/
.setvar {
	//border-bottom: 1px solid #CCC;
	padding-right: 5px;
}

.var {
	padding-right: 5px;
}

.val, .set, .result, .retval {
	border: 1px solid #CCC;
	color: red;
	font-family: arial, sans-serif;
	font-size: 9px;
	padding: 1px;
	display: inline;
	background-color: white;
	margin-right: 2px;
}

.unreached {
	color: #ccc;
}

.eq {
	//border-bottom: 1px solid #CCC;
	padding-left: 5px;
	margin-right: 8px;
}

.red { background-color: red; padding: 0px 2px; }

.hidden { display: none; }

/*
.live {
	border: 1px dashed #999;
	line-height: 15px;
}

.val, .set {
	border-top: 1px solid #999;
	border-left: 1px solid #999;
	border-bottom: 2px solid #333;
	border-right: 2px solid #333;
	background-color: white;
	margin-left: 4px;
	font-family: arial, sans-serif;
	font-size: 9px;
	padding: 2px;
	display: inline;
}
*/