body{
	font-size: 9px;
	width: auto;
	font-family: monospace;
}