h1 {
	font-family: "Times New Roman", Times, serif;
	color: #b20000;
}
.cmd {
	font-family:monospace,"Courier New",Courier;
	font-size: 12px;
	color: #000066;
	margin-right: 25%;
	background-color: #E6E6E6;
	padding-top: .5em;
	padding-right: 1em;
	padding-bottom: .5em;
	padding-left: 1em;
}
.output {
	font-family:monospace,"Courier New",Courier;
	font-size: 12px;
	color: #000000;
	padding-left: 1em;
	margin-right: 25%;
	background-color: #E6E6E6;
	padding-top: .5em;
	padding-right: 1em;
	padding-bottom: .5em;
}