BODY {
	color						: #808080;
	background			: #D0E0FF;
	text-margin			:0pt;
	padding					:0pt;
}

SPAN.main {
  font-size				:18pt;
	background			: #FFFFFF;
	border-style		: none;
	border-width		: 1px 1px 1px 1px;
	padding					: 0pt 4pt 4pt 4pt;
}

SPAN.red {
  color						:black;
  font-weight			:normal;
}

SPAN.blue {
  color						:blue;
	font-size				:200%;
}

H1,H2,H3,H4,H5 {
	font-weight			: bold;
  font-style      : italic;
	margin-top			: 0pt;
	margin-bottom		: 0pt;
	margin-left			: 0pt;
	margin-right		: 0pt;
	padding					: 0pt;
}

H1 {
	margin					: 0pt;
	font-size				: 200%;
	color						: #FFFFFF;
	background-color: #8080C0;
	text-align			: center;
	border					: #F0E0FF 4px groove;
	padding					: 15pt 15pt 10pt 15pt; 
}

H2 {
	font-size				: 160%;
	color						: #FFFFFF;
	background-color: #A0A0D0;
	border					: #D0C8E0 thin none;
}
H3 {
	font-size			: 120%;
	color				: #FFFFFF;
	background-color	: #C0C0E0;
	border				: #D0C8E0 thin none;
}
H4 {
	font-size : 100%;
}

P {
	margin-top			: 10pt;
	margin-bottom		: 5pt;
	margin-left			: 0pt;
	margin-right		: 0pt;
	padding-top			: 0pt;
	padding-bottom		: 0pt;
	padding-left		: 0pt;
	padding-right		: 0pt;
}

P.usage {
	margin-left		: 0;
	margin-right	: 0;
	padding-left	: 8;
	padding-right	: 8;
	background-color : #FFFFE0;
	border-color : #D0C8E0;
	border-width : 2;
	border-style : none;
}

P.example {
	margin-left		: 0;
	margin-right	: 0;
	padding-left	: 8;
	padding-right	: 8;
	background-color : #E0FFE0;
	border-color : #D0C8E0;
	border-width : thin;
	border-style : none;
}

A:link {
	color: #8080F0;
}
A:visited {
	color: #C080C0;
}
A:active {
	color: #FFFFC0;
}
A:link IMG {
	border	: 2 solid #8080F0;
}
A:visited IMG {
	border	: 2 solid #C080C0;
}
A:active IMG {
	border	: 2 solid #FFFFC0;
}

UL {
	margin-top			: 0pt;
	margin-bottom		: 2pt;
	padding-top			: 0pt;
	padding-bottom		: 0pt;
}