#text0 {
	font-family: monospace, monospace;
	font-size:12px;
	width:100%;
	height:100%;
	min-height:800px;
}