/* ******** */
/* DEFAULTS */
/* ******** */


/* **************** */
/* MISC. FORMATTING */
/* **************** */
div.code {
	font-family: courier;
	font-size: 11px;
	border: solid thin #0000CC;
	background-color: #FFFFCC;
	white-space: nowrap;
	overflow:auto;
	display:block;
	width:97%;	
	padding-bottom: 20px;
}