@charset "UTF-8";
.liveSample {
	background-color: #FFFFCC;
	color: black;
	padding: 4px;
	margin-left: 10px;
	margin-right: 10px;
	border: 1px solid #000000;
}
.demoDiv {
	width: 545px;
	height: 515px;
}
	
.demoDiv2 {
	width: 545px;
	height: 525px;
	font-size: 11px;
}


.highlited {
	background-color: #FFFFCC;
	color: #000000;
}

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


.hiddenElement{
	display:none;
	/* Fix IE floating bug */
	position: relative;
		}