/* CSS Document */

body {
	background-color: #F0F0E6;
	font-family: "‚l‚r –¾’©", "‚l‚r ‚o–¾’©", Garamond, Georgia, Times New Roman, Times, serif;
	color: #081C6B;
}
.quote {
	font-size: large;
	font-style: italic;
	font-weight: bold;
}
hr {
	color: #0A1E6E;
	border: thick;
}
code {
	font-size: medium;
}
ul {
	list-style-position: outside;
	list-style-type: disc;
	margin-top: 0px;
	margin-bottom: 0px;
	margin-right: 0px;
	margin-left: 20px;
}