BODY {
   background-color : #4682B4;
}
.topinfo {
}
.command {
	font-family : monospace;
	font-size : medium;
}