ul {
	margin: 0px;
	padding: 0px;
	font-family: Verdana, Geneva, sans-serif;
}
li {
	display: inline;
	list-style-type: none;
	margin-right: 10px;
	margin-left: 10px;
}
.highlighted-text {
	color: #066;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: medium;
	text-decoration: none;
}
.footer-text {
	font-family: Arial, Helvetica, sans-serif;
	font-size: x-small;
	color: #000;
}
.navbar-text {
	font-family: "Times New Roman", Times, serif;
	text-decoration: none;
	font-size: large;
}