body,td
{
	font-family: arial, helvetica;
	font-size: 11px;
	color: #000000;
	line-height: 20px;
}

a
{
	color: #000000;
}

ul.auto-toc
{
	list-style-type: none;
}

h1.title
{
	font-size: 40px;
}

h2.subtitle
{
	font-size: 30px;
}

h3.minortitle
{
	font-size: 22px;
}

p.standard
{
	font-size: 16px;
}

li.standard
{
	font-size: 16px;
}

li.minortitle
{
	font-size: 18px;
}

p.title
{
	font-size: 40px;
}

p.subtitle
{
	font-size: 30px;
}

p.minortitle
{
	font-size: 22px;
}

p.menutitle
{
	font-size: 18px;
}