body {
  font-family: sans-serif;
}
ol {
  font-family: sans-serif;
	font-size: large
}
a.blue:link {
  color: rgb(0, 0, 255);
	text-decoration:none;
}
a.blue:visited {
  color: rgb(0, 0, 255);
	text-decoration:none;
}
a.blue:active {
  color: rgb(0, 0, 255);
	text-decoration:none;
}
a.blue:hover {
  color: rgb(0, 0, 255);
	text-decoration:underline;
}