@charset "UTF-8";

.liveSample {
	background-color: #FFFFCC;
	color: black;
	padding: 4px;
	margin-left: 10px;
	margin-right: 10px;
	border: 1px solid #000000;
}
.demoDiv {
	background-color: #CCCCCC;
	width: 400px;
   
}
.highlited {
	background-color: #FFFFCC;
	color: #000000;
}
.grayBG {
	background-color: #CCCCCC;
}