.liveSample {

	

	color: black;

	padding: 4px;

	margin-left: 10px;

	margin-right: 10px;

	border: 1px solid #000000;

}

.demoDiv {

	

	width: 100px;

}

.highlited {

	background-color: #FFFFCC;

	color: #000000;

}

.grayBG {

	background-color: #CCCCCC;

}



pre {

	font-family: "Courier New", Courier, monospace;

	

	padding: 5px;

	overflow: auto;

	font-size: 1.1em;

	margin-left: 10px;

	margin-right: 10px;

	border: 1px solid #CCCCCC;

	}