@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;
}

pre {
	font-family: "Courier New", Courier, monospace;
	background-color: #F0F7FE;
	padding: 5px;
	overflow: auto;
	font-size: 1.1em;
	margin-left: 10px;
	margin-right: 10px;
	border: 1px solid #CCCCCC;
	}