H1  {
	font-weight : bold;
	font-style : italic;
	color : #000080;
}

H2  {
	font-weight : bold;
	font-style : italic;
	color : #000000;
}

H3  {
	font-weight : bold;
	font-style : italic;
	color : #000000;
}

A:hover  {
	color : #C0C0C0;
}

PRE  {
	color : #800000;
	margin-left : 10mm;
	margin-right : 10mm;
	font-weight : bold;
}

.note  {
	font-size : smaller;
	color : #800000;
	margin-left : 10mm;
	margin-right : 10mm;
}

.tip  {
	margin-left : 10mm;
	margin-right : 10mm;
	border-style : double;
	border-color : #800000;
	border-left-width : thin;
	padding-left : 2mm;
}

link {
	text-decoration : none;
}
.link  {
	text-decoration : none;
}