@font-face
{
	font-family: "DejaVuSans";
	font-style: normal;
	font-weight: normal;
	src:url(../Fonts/DejaVuSans.ttf);
}
@font-face
{
	font-family: "DejaVuSans";
	font-style: italic;
	font-weight: normal;
	src:url(../Fonts/DejaVuSansCondensed-Oblique.ttf);
}
@font-face
{
	font-family: "DejaVuSans";
	font-style: italic;
	font-weight: bold;
	src:url(../Fonts/DejaVuSans-BoldOblique.ttf);
}
@font-face
{
	font-family: "DejaVuSans";
	font-style: normal;
	font-weight: bold;
	src:url(../Fonts/DejaVuSans-Bold.ttf);
}
@font-face
{
	font-family: "Times New Roman";
	src: url(../Fonts/times.ttf);
	font-style: normal;
	font-weight: normal;
}
@font-face
{
	font-family: "Times New Roman";
	src: url(../Fonts/timesbd.ttf);
	font-style: normal;
	font-weight: bold;
}
@font-face
{
	font-family: "Times New Roman";
	src: url(../Fonts/timesbi.ttf);
	font-style: italic;
	font-weight: bold;
}
@font-face
{
	font-family: "Times New Roman";
	src: url(../Fonts/timesi.ttf);
	font-style: italic;
	font-weight: normal;
}

span.font
{
	font-family: "DejaVuSans";
}
body
{
        margin-right:1em;
        margin-left:1em;
}
a
{
    	text-decoration: none;
}
svg
{
    height: 98%;
    width: 100%;
}
small
{
        font-size:80%;
}
table
{
        margin-top:0.5em;
        margin-bottom:0.5em;
}

.image
{
        margin-top:1em;
        margin-bottom:0em;
        text-align:center;
}
h1.booktitle
{
	font-family: "Times New Roman";
        font-weight:bold;
        font-size:250%;
        margin-top:1.5em;
        margin-bottom:0.5em;
        margin-left:0em;
        border-bottom:solid 1px black;
        padding-bottom:0em;
        text-align:center;
}
.tables
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:0.1em;
        margin-bottom:0em;
        margin-left:0em;
        text-indent:0em;
        text-align:left;
}
.tables1
{
	font-family: "Times New Roman";
        font-weight:bold;
        font-size:170%;
        margin-top:1.5em;
        margin-bottom:0em;
        margin-left:em;
        margin-right:0em;
        text-indent:em;
        text-align:right;
}
.edition
{
	font-family: "Times New Roman";
        font-weight:bold;
        font-size:170%;
        margin-top:1em;
        margin-bottom:0.5em;
        margin-left:0em;
        text-align:left;
}
.noindentf
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:0em;
        margin-bottom:1.5em;
        margin-left:12em;
        text-indent:0em;
        text-align:justify;
}
.pub
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:0em;
        margin-bottom:0em;
        margin-left:0em;
        text-indent:0em;
        width: 30%;
        text-align:justify;
}
.author
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:2.5em;
        margin-bottom:0.2em;
        margin-left:0em;
        text-indent:0em;
        text-align:right;
}
.pub1
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:90%;
        margin-top:0em;
        margin-bottom:0em;
        margin-left:0em;
        text-indent:0em;
        text-align:right;
}
p.copyrightt
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:90%;
        margin-top:3em;
        margin-bottom:1.5em;
        margin-left:0em;
        padding-bottom:0em;
        text-align:left;
}
p.copyright
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:90%;
        margin-top:0em;
        margin-bottom:1.5em;
        margin-left:0em;
        padding-bottom:0em;
        text-align:left;
}
p.copyright1
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:90%;
        margin-top:0em;
        margin-bottom:4.5em;
        margin-left:0em;
        padding-bottom:0em;
        text-align:left;
}
p.copyright1a
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:90%;
        margin-top:0em;
        margin-bottom:4.5em;
        margin-left:0em;
        padding-bottom:0em;
        text-align:justify;
        width: 35%;
}
p.copyrightc
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:90%;
        margin-top:5em;
        margin-bottom:0.1em;
        margin-left:0em;
        padding-bottom:0em;
        text-align:center;
}
.dedication
{
	font-family: "Times New Roman";
        font-weight:bold;
        font-size:90%;
        margin-top:13em;
        margin-bottom:0.1em;
        margin-left:12em;
        text-indent:0em;
        text-align:justify;
}
h2.fmtitle
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:4em;
        margin-bottom:2em;
        margin-left:0em;
        text-indent:0em;
        text-align:center;
}
.hang
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:0em;
        margin-bottom:0em;
        margin-left:0em;
        text-indent:0em;
        text-align:left;
}
.hangi
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:95%;
        margin-top:0em;
        margin-bottom:1em;
        margin-left:2.5em;
        text-indent:0em;
        text-align:left;
}
h2.chaptitle
{
	font-family: "Times New Roman";
        font-weight:bold;
        font-size:120%;
        margin-top:9em;
        margin-bottom:2em;
        margin-left:0em;
        padding-bottom:0em;
        text-align:center;
}
.indent
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:0em;
        margin-bottom:0em;
        margin-left:0em;
        text-indent:1.5em;
        text-align:justify;
}
.centerst
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:115%;
        margin-top:2em;
        margin-bottom:2em;
        margin-left:0em;
        text-indent:0em;
        text-align:center;
}
div.box
{
        margin-top:1em;
        margin-bottom:1em;
        margin-left:3.5em;
        margin-right:0em;
}
div.box1
{
        margin-top:2em;
        margin-bottom:2em;
        margin-left:2.5em;
        margin-right:0em;
}
div.box2
{
        margin-top:1em;
        margin-bottom:1em;
        margin-left:2.5em;
        margin-right:0em;
}
.blockquotei
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:0em;
        margin-bottom:0.2em;
        margin-left:0em;
        text-indent:1.5em;
        text-align:justify;
}
.center
{
	font-family: "Times New Roman";
        font-weight:normal;
        font-size:100%;
        margin-top:2em;
        margin-bottom:0em;
        margin-left:0em;
        text-indent:0em;
        text-align:center;
}
.fcenter1
{
font-size:95%;
font-weight:normal;
margin-top:3.5em;
margin-bottom:0em;
text-indent:0em;
margin-left:0em;
margin-right:0em;
text-align:center;
}
div.boxv
{
font-size:95%;
margin-top:0em;
margin-bottom:3em;
text-indent:0em;
text-align:center;
margin-left:9em;
margin-right:9em;
padding-left:0em;
padding-right:0em;
padding-top:0em;
padding-bottom:0.5em;
border:2px solid;
}