.article_content table,th,td{
	border: 1px solid #808080;
	padding-left: 5px;
	margin: 0 0 9px;
}

.parameter {
	font-weight: 600; 
	background-color: #f0f0ff; 
	border: 1px solid #8080ff; 
	border-radius: 3px; 
	padding-left: 6px;
	padding-right: 6px; 
	margin: 3px;
}

.example{
	font-family: courier new; 
	background-color: #f4f4f4;
	padding-left: 3px;
	padding-right: 3px;
}

.example2{
	font-family: courier new; 
	background-color: #f4f4f4;
	padding-left: 3px;
	padding-right: 3px;
}

.parameter_list li {
	margin: 25px;
}

.div_image {
	text-align: center;
	padding-left: 50px;
	padding-right: 50px;
	margin-bottom: 25px;
}