.pre_docs {
   background-color: #fefefe;
   border: 1px solid silver;
   padding: 10px 20px;
}
.json-key {
	color: brown;
}
.json-value {
	color: navy;
}
.json-string {
	color: olive;
}

.filename {
	color:black;
}

.function {
	color:black;
}

.argument {
	color: navy;
}

.other {
	color:black;
}

.header_docs2 {
	font-size: 35px;
	margin: 30px 0px 10px 0px;
	font-weight: 500;
	color:black;
}

.header_docs3 {
	font-size: 30px;
	margin: 25px 0px 10px 0px;
	font-weight: 500;
}

.header_docs4 {
	font-size: 20px;
	margin: 20px 0px 10px 0px;
	font-weight: 500;
}