h1	{ font-family: Arial, Sans-Serif;
	  font-size: 24pt;
	  font-weight: 900;
	  text-align: center;
	  line-height: 150%;
	  color: #800000;
	  background-color: #CCFFCC }

h2	{ font-family: Arial, Sans-Serif;
	  font-weight: bold;
	  font-size: 18pt;
	  color: #800000 }

p	{ font-family: "Times New Roman", Serif;
          font-size: 12pt;
          color: #800000 }

body	{ font-family: "Times New Roman", Serif;
          font-size: 12pt;
          color: #800000 }

hr	{ align: center;
	  width: 100%;
	  color: #008080 }

pre	{ font-family: monotype;
	  font: 10pt }

a:link		{ text-decoration: none; color: #808000 }
a:visited	{ text-decoration: none; color: #808000 }
a:hover		{ text-decoration: underline; color: #008080 }
a:active	{ color: #FF0000 }

.smaller	{ font-family: "Times New Roman", Serif;
	          font: 10pt;
	          color: #800000 }

.larger		{ font-family: "Arial", Sans-Serif;
	          font: 14pt;
	          color: #800000 }

.navbar		{ font-family: "Times New Roman", Serif;
	          font-size: 10pt;
		  align: center;
	          color: #800000 }

.emphasis	{ background-color: #FFDEAD }

.coding		{ font-family: "Courier New, Courier", monospace;
		  font: 10pt }