.resources {
	margin: 0% 3% 0% 3%;
}

.resources ol{
	font-family: Arial;
	font-size: 115%;
	margin: 0% 3% 0% 3%;
}

.resources code{
/*	color: #f8371f; */
    color: #2F3C7E;
	display: inline-block;
	padding: 0.1em;
	font-size: 110%;
	font-family: Courier, Menlo;
}

.resources ol li.large {
  font-size: 115%;
}