BODY	{
	background-color: rgb(100%, 99%, 100%);
	color: rgb(20%, 0%, 20%);
	font-size: 10pt;
	}

H1	{
	font-size: 36pt;
	color: #8470FF;
	}

H2	{
	background-color: #8470FF;
	color: rgb(100%, 100%, 100%);
	font-size: 12pt;
	line-height: 150%;
	text-indent: 2mm;
	vertical-align: middle;
	}

H3	{
	background-color: #8470FF;
	color: rgb(100%, 99%, 100%);
	font-size: 11pt;
	line-height: 150%;
	text-indent: 2mm;
	margin-left: 3mm;
	vertical-align: middle;
	}

H4	{
	color: rgb(100%, 50%, 50%);
	font-size: 11pt;
	margin-left: 6mm;
	vertical-align: middle;
	}

P	{
	font-size: 10pt;
	line-height: 150%;
	margin-left: 5mm;
	}
P.todo	{
	margin-top: 1mm;
	margin-bottom: 1mm;
	margin-left: 3mm;
	line-height: 100%;
	}

A	{color: #423888;}
A:visited	{color: #8470FF;}
A.mail	{color: #8470FF;}

address	{margin-left: 10mm;}

BLOCKQUOTE	{
		border: thin solid;
		font-size: 10pt;
		padding: 1%;
		}

STRONG	{
	color: #8470FF;
	font-size: 10.5pt;
	}

pre.nochange	{
	color: rgb(80%, 65%, 80%);
	}

KBD	{
	margin-left: 8mm;
	color: white;
	background-color: black;
	}

EM	{
	color: yellow;
	}

UL	{
	font-size: 10pt;
	list-style-type: none;
	margin-left: 5mm;
	}

#latest{color: rgb(100%, 50%, 0%);}

LI	{
	color: #8470FF;
	list-style-type: square;
	}


/* class definition */
.center	{text-align: center;}
.m5	{margin-left: 5mm;}
.m10	{margin-left: 10mm;}