.code { background: #ffffe0;
border: 1px #000000 solid;
padding: 5px;
margin-left: 20px;
margin-right: 20px;
}
.file { font-style: italic;
margin-left: 40px;
}
.console { background: #e0ffe0;
border: 1px #000000 solid;
padding: 5px;
margin-left: 20px;
margin-right: 20px;
}
h3 { border-bottom: 1px #a0a0a0 solid;
}
.button {
	margin-left: 44px;
	margin-top: 2px;
	margin-right: 4px;
	margin-bottom: 2px;
	border-left: 2px #f0f0f0 solid;
	border-top: 2px #f0f0f0 solid;
	border-right: 2px #c0c0c0 solid;
	border-bottom: 2px #c0c0c0 solid;
	background: #e0e0e0;
	padding-left: 5px;
	padding-right: 5px;
}