.code_block {
	margin: 0 20 20 20 ;
	/* padding: 20 10 0 10 ; */
	border-width: thin ;
	border-color: #c6d8ec ;
	border-style: solid ;
}

.code_title {
	padding: 5 ;
	background: #F0F0F0 ;
}

.code_description {
	padding: 10 ; /* 0 0 20 0 ; */
	line-height: 20px ;
}


.code_source {
	margin: 10 20 10 20 ;
	padding: 5 10 5 10 ;
	font-family: courier ;
	display: block ;
	white-space: pre ;
	background-color: #E0E0E0;
	page-break-inside: avoid ;

	border-width: thin ;
	border-color: #c6d8ec ;
	border-style: solid ;
}