.snippetcodex1 {
	border:1px inset;
	background-color: #EFEFEF;
	padding-left: 10px;
	padding-right: 10px;
       width:580px;
	max-height: 200px;
	overflow:auto;
	overflow-y:visible;
	font-family: "Courier New", Courier, mono;


}

.snippetcodex2 {
	border:1px inset;
	background-color: #f0f8ff;
	padding-left: 10px;
	padding-right: 10px;
       width:580px;
	max-height: 200px;
	overflow:auto;
	overflow-y:visible;
	font-family: "Courier New", Courier, mono;


}