@font-face
{
	font-family: "DejaVuSerif";
	src: url(../fonts/DejaVuSerif.otf);
        font-weight: normal;
        font-style: normal;
}
@page
{
        margin: 1em;
}
body
{
}
a
{
        text-decoration: none;
}
svg
{
	height: 98%;
	width: 100%;
}
small
{
	font-size: 80%;
}
.block
{
	vertical-align: middle;
}
span.weblink
{
        text-decoration: none;
        color: #00FFFF;
}
.halftitle
{
	font-family: serif;
	font-size: 190%;
        font-weight: normal;
	margin-top: 4em;
	margin-bottom: 0.1em;
	text-align: center;
}
.h1
{
	font-family: serif;
	font-size: 250%;
        font-weight: normal;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
	text-align: center;
}
.subtitle
{
	font-family: serif;
	font-size: 170%;
	margin-top: 0.8em;
	margin-bottom: 0.1em;
	text-align: center;
}
.subtitle1
{
	font-family: serif;
	font-size: 110%;
	margin-top: 2.4em;
	margin-bottom: 0.1em;
	text-align: center;
}
.subtitle2
{
	font-family: serif;
	font-size: 120%;
	margin-top: 3.4em;
	margin-bottom: 0.1em;
	text-align: center;
}
.author
{
	font-family: serif;
	font-size: 115%;
	margin-top: 2em;
	margin-bottom: 0.1em;
	text-align: center;
}
.author1
{
	font-family: serif;
	font-size: 120%;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
	text-align: center;
}
.publisher
{
	font-family: serif;
        margin-top: 8em;
	margin-bottom: 0.1em;
	text-align: center;
}
.h2p
{
	font-family: serif;
	font-size: 220%;
        font-weight: normal;
	margin-top: 3em;
	margin-bottom: 0.1em;
	text-align: center;
}
.h2x
{
	font-family: serif;
	font-size: 150%;
        font-weight: normal;
	margin-top: 3em;
	margin-bottom: 2em;
	text-align: center;
}
.h2
{
	font-family: serif;
	font-size: 240%;
        font-weight: normal;
	margin-top: 1em;
	margin-bottom: 1.2em;
	text-align: center;
}
.h3n
{
	font-family: serif;
	font-size: 95%;
        font-weight: normal;
	margin-top: 1.2em;
	margin-bottom: 1em;
	text-align: left;
}
.noindent
{
	font-family: serif;
	font-size: 100%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	text-align: justify;
}
.noindentt
{
	font-family: serif;
	font-size: 100%;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
	text-align: justify;
}
.indent
{
	font-family: serif;
	font-size: 100%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	text-indent: 2.5em;
	text-align: justify;
}
.indentt
{
	font-family: serif;
	font-size: 100%;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
	text-indent: 2.5em;
	text-align: justify;
}
.chblock
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 4em;
	text-align: justify;
}
.tocp
{
	font-family: serif;
	font-size: 115%;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
	text-align: left;
}
.toc
{
	font-family: serif;
	font-size: 95%;
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	margin-left: 2.8em;
	text-indent: -2.8em;
	text-align: left;
}
.toct
{
	font-family: serif;
	font-size: 95%;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
	margin-left: 2.8em;
	text-indent: -2.8em;
	text-align: left;
}
.font
{
	font-family: "DejaVuSerif";
}
.imagec
{
	font-family: serif;
	margin-top: 1.2em;
	margin-bottom: 1.2em;
	text-align: center;
}
.centerx
{
	font-family: serif;
	font-size: 110%;
	margin-top: 0.1em;
	margin-bottom: 1em;
	text-align: center;
}
.centerx1
{
	font-family: serif;
	font-size: 110%;
	margin-top: 3em;
	margin-bottom: 1em;
	text-align: center;
}
.blockquotet
{
	font-family: serif;
	font-size: 90%;
	margin-top: 1.4em;
	margin-bottom: 0.1em;
	margin-left: 2.5em;
	margin-right: 1.5em;
	text-align: justify;
}
.blockquote1
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 2.5em;
	margin-right: 1.5em;
	text-indent: 1.4em;
	text-align: justify;
}
.blockquote1a
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.3em;
	margin-bottom: 0.1em;
	margin-left: 4.5em;
	margin-right: 1.5em;
	text-align: justify;
}
.refentry
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 2em;
	text-indent: -2em;
	text-align: justify;
}
.refentryt
{
	font-family: serif;
	font-size: 90%;
	margin-top: 1.4em;
	margin-bottom: 0.1em;
	margin-left: 2em;
	text-indent: -2em;
	text-align: justify;
}
.indexmain1
{
	font-family: serif;
	font-size: 90%;
	margin-top: 1em;
	margin-bottom: 0.1em;
	text-align: justify;
        margin-left: 1.2em;
        text-indent: -1.2em;
}
.indexmain
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	text-align: justify;
        margin-left: 1.2em;
        text-indent: -1.2em;
}
.indexmain2
{
	font-family: serif;
	font-size: 90%;
	margin-top: 1em;
	margin-bottom: 0.5em;
	text-align: justify;
}
.copyrightx
{
	font-family: serif;
	font-size: 90%;
	margin-top: 5em;
	margin-bottom: 0.1em;
	text-align: center;
}
.copyright
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	text-align: center;
}
.copyrightt
{
	font-family: serif;
	font-size: 90%;
	margin-top: 1.4em;
	margin-bottom: 0.1em;
	text-align: center;
}
.dedication
{
	font-family: serif;
	font-size: 100%;
	margin-top: 8em;
	margin-bottom: 0.1em;
	text-align: center;
}
.endnote
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	text-indent: 1.4em;
	text-align: justify;
}
.hangt
{
	font-family: serif;
	font-size: 100%;
	margin-top: 1.4em;
	margin-bottom: 0.1em;
	margin-left: 2.7em;
	text-indent: -2.7em;
	text-align: justify;
}
.hang
{
	font-family: serif;
	font-size: 100%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 2.7em;
	text-indent: -2.7em;
	text-align: justify;
}
.hang1
{
	font-family: serif;
	font-size: 100%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 2.7em;
	text-align: justify;
}
.noindentx
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	text-align: justify;
}
.hangxt
{
	font-family: serif;
	font-size: 90%;
	margin-top: 1.4em;
	margin-bottom: 0.1em;
	margin-left: 2.7em;
	text-indent: -2.7em;
	text-align: justify;
}
.hangx
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 2.7em;
	text-indent: -2.7em;
	text-align: justify;
}
.hangx1
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 2.7em;
	text-align: justify;
}
.table1
{
	font-family: serif;
	font-size: 100%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	text-align: justify;
}
table
{
	font-family: serif;
	font-size: 100%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	text-align: justify;
}
.noindentb
{
	font-family: serif;
	font-size: 100%;
	margin-top: 4em;
	margin-bottom: 0.1em;
	text-align: justify;
}
.noindentbt
{
	font-family: serif;
	font-size: 100%;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
	text-align: justify;
}
.toc1
{
	font-family: serif;
	font-size: 95%;
	margin-top: 0em;
	margin-bottom: 0.1em;
	margin-left: 2.4em;
	text-align: left;
}
.center1
{
	font-family: serif;
	font-size: 105%;
	margin-top: 4em;
	margin-bottom: 0.1em;
	text-align: center;
}
.chattribute
{
	font-family: serif;
	font-size: 90%;
	margin-top: 0.5em;
	margin-bottom: 4em;
	margin-left: 6em;
	text-align: left;
}