div.codebox{
	margin: 15px 50px;
	padding:10px;
	background-color:   #fff6d7;
	border: 1px solid #d6cfb5;
	overflow:hidden
}

div.codebox:hover{
	overflow: scroll;
}

div codebox
{
	font-size:  110%;
	white-space:pre;
}

codebox .comment
{
	color:  orange;
}

codebox .keyword
{
	color:  green;
}

codebox .string
{
	color:  red;
}

.displaybox {
	background-color:   #f4f4f4;
	margin: 15px 50px;
	padding:10px;
	border: 1px solid #d6cfb5;
}

div.codebox code { 
	background-color: transparent; 
}