body{
	background-color:#A8F484;
}

.title{
	font-weight:bold;
	font-size:140%;
	border-style:dashed;
	border-width:2px;
	border-color:#0080FF;
	padding:2px;
	color:#0000CA;
	margin:0px 0px 10px 0px;
}

.command{
	font-family:'‚l‚r ƒSƒVƒbƒN';
	text-align:center;
	font-size:120%;
	font-weight:bold;
	background-color:#F5A289;
	padding:5px;
	margin:0px 10px 0px 0px;
}

.proc{
	font-size:90%;
	background-color:#A8F484;
	line-height:130%;
}