html, body {
	margin:0;
	padding:0;
}
body{
	text-align: left;
	font-family:"Times New Roman", Times, serif;
	font-size:14px;

	color: #444;

}



pre {
	font-size: 1.2em;
	line-height: 1.2em;
	overflow-x: auto;
}