a:link {  text-decoration: none; font-family: Arial; font-size: 10pt; }
a {   color: #0000ff; text-decoration: none; font-family: Arial; font-size: 10pt;}
a:hover {  font-family: Arial; color: #FF0000; text-decoration: none; font-size: 10pt}
.menu {  color: #00378B; text-decoration: none; font-family: Arial; font-size: 10pt; font-weight: bold}
p {  margin-right: 10px; font-family: Arial; font-size: 10pt; margin-left: 5px}
body         { background-color: #FFFFFF; margin-top: 0 }


h1           { font-size: 12pt; color: #000080; text-align: center; font-weight: bold }
h2  {
	color : #00008b;
	font-weight : bold;
	font-size : 10pt;
}

h3           { color: #000080; font-size: 10pt; font-weight: bold }
h4  {
	margin-left : 6%;
	margin-right : 6%;
	font-weight : bold;
	font-size : 10pt;
}

h5  {
	margin-left : 6%;
	margin-right : 6%;
	font-weight : bold;
	font-size : 10pt;
}

.toc  {
	font-size : smaller;
	font-weight : bold;
}

ul  {
	margin-left : 6%;
	margin-right : 6%;
}

pre  {
	margin-left : 10%;
	white-space : pre;
}

blockquote   { border: thin ridge #000080; margin-left: 8%; margin-right: 8% }
b  {
	font-weight : bold;
}

h2 b  {
	color : #00008b;
	font-size : 10pt;
	font-weight : bold;
}

ul a  {
	font-size : 10pt;
}