h1,h2,h3,h4,h5,h6
{
	color:		#0000c0;
	font-size:	100%;
	font-style:	normal;
	font-weight:	bold;
	font-variant:	normal;
	text-align:	left;
	text-decoration: none;
	margin-top:	1ex
	margin-bottom:	0.5ex;
	padding:	0 0 0 0;
}

h1 { font-size : 140%; margin-top : 3.0ex; margin-bottom : 2.0ex; }
h2 { font-size : 120%; margin-top : 2.5ex; margin-bottom : 1.5ex; }
h3 { font-size : 110%; margin-top : 2.0ex; margin-bottom : 1.0ex; }
h4 { font-size : 105%; margin-top : 1.5ex; margin-bottom : 0.7ex; }

li { margin-top : 0.8ex; }
p  { margin-top : 1.0ex; }

/******************************/

.toc1 { margin-top : 1.5ex; font-size:	110%; }
.toc2 { margin-top : 1.0ex; font-size:	90%; }
.toc3 { margin-top : 0.7ex; }
.toc4 { margin-top : 0.5ex; }
.toc5 { margin-top : 0.3ex; }

/******************************/

.title
{
	color: #0000a0;
	font-size: 130%;
	font-weight: bold;
	margin-top: 2ex
}

.subtitle
{
	color: #0000a0;
	font-size: 110%;
	font-weight: bold;
}

.subsubtitle
{
	color: #0000a0;
	font-weight: bold;
}

/******************************/

.caption
{
	color : #c00000;
	font-weight : bold;
	font-size : 120%;
}

.func
{
	color : #0000c0;
	font-weight : bold;
}

.syntax
{
	color : #0000a0;
	font-weight : bold;
	font-family: 'Courier New','monospace';
}

.tag
{	color : #a00000;
	font-weight : bold;
	font-family: 'Courier New','monospace';
}

.file
{
	font-weight : bold;
	font-family: 'Courier New','Courier';
}

.tt
{
	font-weight : bold;
	font-family: 'Courier New','Courier';
}

.info
{
	background-color : #c0c0ff;
	color : #000000;
	padding : 8;
	border-width : 2;
}

.warn
{
	background-color : #ffc0c0;
	color : #000000;
	padding : 8;
	border-width : 2;
}

.debug
{
	background-color : #ff8000;
	color : #000000;
	padding : 2;
	border-width : 2;
}

.frame
{
	background-color: #ffffc0;
	left:  5px;
	right: 5px;
	margin: 0 0 0 0;
	padding: 1em 1em 1em 1em;
	border-style: solid;
	border-width: 3px;
	border-color: #0000a0;
}

/******************************/

.grey	{ background-color : #e0e0e0; font-weight : bold }
.red	{ background-color : #ffc0c0; font-weight : bold }
.orange	{ background-color : #ffc080; font-weight : bold }
.yellow	{ background-color : #ffff80; font-weight : bold }
.green	{ background-color : #c0ffc0; font-weight : bold }
.cyan	{ background-color : #80ffff; font-weight : bold }
.blue	{ background-color : #c0c0ff; font-weight : bold }
.magenta{ background-color : #ffc0ff; font-weight : bold }

.font-grey	{ color : #808080; }
.font-red	{ color : #c00000; }
.font-orange	{ color : #d08020; }
.font-yellow	{ color : #c0c000; }
.font-green	{ color : #008000; }
.font-cyan	{ color : #00a0a0; }
.font-blue	{ color : #0000c0; }
.font-magenta	{ color : #800080; }

.bold-grey	{ color : #808080; font-weight : bold }
.bold-red	{ color : #800000; font-weight : bold }
.bold-orange	{ color : #d08020; font-weight : bold }
.bold-yellow	{ color : #c0c000; font-weight : bold }
.bold-green	{ color : #008000; font-weight : bold }
.bold-cyan	{ color : #00a0a0; font-weight : bold }
.bold-blue	{ color : #0000c0; font-weight : bold }
.bold-magenta	{ color : #c000c0; font-weight : bold }