.cmdprompt {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #FFFFFF;
	background-color: #000000;
	display: block;
	padding: 8px 5px;
	margin-top: 5px;
	margin-right: 2px;
	margin-bottom: 5px;
	margin-left: 2px;
	font-weight: normal;
	font-size: 12px;
	border: 1px dashed #0066FF;
}
h4 {
	display: block;
	padding: 3px 1px;
	margin: 1px;
	white-space: nowrap;
}
.mainlist {
	list-style-type: none;
	margin: 0px;
	padding: 0px;
}
.marginparag {
	margin-top: 12px;
	margin-bottom: 12px;
}
p {
	text-align: justify;
}
ul {
	text-align: justify;
}
ol {
	text-align: justify;
}