div#program	{margin-left: 30px;
		margin-top: 10px;
		margin-bottom: 10px;
		padding: 10px;
		border-style: dotted;
		border-width: 1.5px;
		font-size: 0.8em;
		width: 500px}

div#result	{margin-left: 30px;
		margin-top: 10px;
		margin-bottom: 10px;
		padding: 10px;
		background-color: #ffdead;
		border-width: 1.5px;
		border-color: #444444;
		font-size: 0.8em;
		width: 500px}