@charset "UTF-8";


.liveSample {
	
	color: black;
	padding: 4px;
	margin-left: 10px;
	margin-right: 10px;
}
.demoDiv {
	
	width: 400px;
}
.highlited {
	
	color: #000000;
}
.grayBG {
}

pre {
	font-family: "Courier New", Courier, monospace;
	background-color: #F0F7FE;
	padding: 5px;
	overflow: auto;
	font-size: 1.1em;
	margin-left: 10px;
	margin-right: 10px;
	
	}
h3 {
	background-color: #F3F3F3;
	padding-top: 5px;
	padding-bottom: 5px;
	padding-left: 10px;
	font-size: 100%;
	line-height: 150%;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #CCCCCC;
}
h4{
	
	font-variant: small-caps;
	font-size:120%;
}