.pre 	{
	font-size: 0.5em;
	font-family: courier;
	padding-top: 0.5em;
	padding-right: 0.5em;
	padding-bottom: 0.5em;
	padding-left: 0.5em;
	border-top-width: 1px;
	border-right-width: 1px;
	border-bottom-width: 1px;
	border-left-width: 1px;
	border-top-style: dashed;
	border-right-style: dashed;
	border-bottom-style: dashed;
	border-left-style: dashed;
	border-top-color: #8cacbb;
	border-right-color: #8cacbb;
	border-bottom-color: #8cacbb;
	border-left-color: #8cacbb;
	color: #000000;
	overflow-x: auto;
	overflow-y: auto;
}

.file	{
	background-color: #dee7ec;
}