@charset "utf-8";
.style5 {
	color: #E5E5E5;
	text-align: justify;
	text-indent: 15px;
	border-top-style: double;
	border-right-style: double;
	border-bottom-style: double;
	border-left-style: double;
	list-style-type: none;
	background-color: #1E1E1E;
	font-family: "Courier New", Courier, monospace;
	padding-top: 5px;
	padding-right: 40px;
	padding-bottom: 10px;
	padding-left: 40px;
	font-size: small;
	overflow: auto;
	height: 430px;
	top: 2px;
}