@page{margin: 5pt;}

img{max-height: 100%;max-width: 100%;}

img.inline{vertical-align: middle;}

a{text-decoration: none;}

a.hlink {text-decoration: none;}


body
{
line-height: 1.2em;
}

div.cover {
text-align: center;
}

sup {
	vertical-align: 4px;
}

sup.frac, sub.frac {
	font-size: 0.7em;
}

p.center0
{
font-size: 100%;
text-align: center;
margin-top: 0em;
margin-bottom: 0em;
}

p.center
{
font-size: 100%;
text-align: center;
margin-top: 1em;
margin-bottom: 1em;
}

p.center1
{
font-size: 100%;
text-align: center;
margin-top: 1.5em;
margin-bottom: 0em;
}

p.centerA
{
font-size: 100%;
text-align: center;
margin-top: 0.5em;
margin-bottom: 0.5em;
}

p.center2
{
font-size: 100%;
text-align: center;
margin-top: 0em;
margin-bottom: 1.5em;
}


p.nonindentj
{
font-size: 100%;
text-align: justify;
text-indent: 0em;
margin-top: 0em;
margin-bottom: 0em;
}

p.nonindentl
{
font-size: 100%;
text-align: left;
text-indent: 0em;
margin-top: 0em;
margin-bottom: 0em;
}

p.nonindentj1
{
font-size: 110%;
text-align: justify;
text-indent: 0em;
margin-top: 0em;
margin-bottom: 0em;
}

p.indentj1
{
font-size: 110%;
text-align: justify;
text-indent: 1em;
margin-top: 0em;
margin-bottom: 0em;
}

p.indentj
{
font-size: 100%;
text-align: justify;
text-indent: 1em;
margin-top: 0em;
margin-bottom: 0em;
}

p.indentl
{
font-size: 100%;
text-align: left;
text-indent: 1em;
margin-top: 0em;
margin-bottom: 0em;
}

p.extractj
{
font-size: 100%;
text-align: justify;
text-indent: 0em;
margin-top: 1.5em;
margin-bottom: 0em;
}

p.toc
{
font-size: 100%;
text-align: center;
margin-top: 0em;
margin-bottom: 0em;
}

p.chapter
{
font-size: 100%;
text-align: center;
text-indent: 0em;
margin-top: 3em;
margin-bottom: 3em;
}

p.part
{
font-size: 100%;
text-align: center;
text-indent: 0em;
margin-top: 0em;
margin-bottom: 0em;
}

span.small
{
font-size: 80%;
}

div.copyright {
margin-top: 4em;
margin-bottom: 0em;
}

p.crt
{
font-size: 80%;
text-align: center;
margin-top: 1em;
margin-bottom: 0em;
}

span.big
{
font-size: 200%;
font-weight: bold;
}

p.right {
font-size: 100%;
text-align: right;
margin-top: 0.5em;
margin-bottom: 0em;
}

div.block
{
margin-left: 1em;
margin-right: 1em;
margin-top: 0.5em;
margin-bottom: 0.5em;
}