body {
	font-family: arial;
}
textarea.nets {
	width: 300px;
	height: 600px;
	font-family: monospace;
	margin-bottom: 5px;
}
textarea.proh {
	width: 330px;
	min-height: 80px;
	height: 600px;
	font-family: monospace;
}
div.nets {
	width: 300px;
	height: 598px;
	font-family: monospace;
	border: 1px solid gray;
	border-radius: 3px;
}