div.code {
	background-color: #d0ffff;
	border: none;
	margin: 10px;
	padding: 10px;
	font: monospaced;
}

div.command {
	background-color: #ffd0ff;
	border: none;
	margin: 10px;
	padding: 10px;
	font: monospaced;
}