@font-face
{
	font-family: "TradeGothicLTStd";
	src: url(../fonts/TradeGothicLTStd.otf);
	font-style: normal;
	font-weight: normal;
}
@font-face
{
	font-family: "TradeGothicLTStd";
	src: url(../fonts/TradeGothicLTStd-Obl.otf);
	font-style: italic;
	font-weight: normal;
}
@font-face
{
	font-family: "TradeGothicLTStd";
	src: url(../fonts/TradeGothicLTStd-Bold.otf);
	font-style: normal;
	font-weight: bold;
}
@font-face
{
	font-family: "TradeGothicLTStd";
	src: url(../fonts/TradeGothicLTStd-BoldObl.otf);
	font-style: italic;
	font-weight: bold;
}
@font-face
{
	font-family: "JansonTextLTStd";
	src: url(../fonts/JansonTextLTStd-Bold.otf);
	font-style: normal;
	font-weight: bold;
}
@font-face
{
	font-family: "JansonTextLTStd";
	src: url(../fonts/JansonTextLTStd-BoldItalic.otf);
	font-style: italic;
	font-weight: bold;
}
@font-face
{
	font-family: "JansonTextLTStd";
	src: url(../fonts/JansonTextLTStd-Italic.otf);
	font-style: italic;
	font-weight: normal;
}
@font-face
{
	font-family: "JansonTextLTStd";
	src: url(../fonts/JansonTextLTStd-Roman.otf);
	font-style: normal;
	font-weight: normal;
}
@font-face
{
	font-family: "UbuntuMono";
	src: url(../fonts/UbuntuMono-Regular.ttf);
	font-style: normal;
	font-weight: normal;
}
@font-face
{
	font-family: "UbuntuMono";
	src: url(../fonts/UbuntuMono-Bold.ttf);
	font-style: normal;
	font-weight: bold;
}
@font-face
{
	font-family: "UbuntuMono";
	src: url(../fonts/UbuntuMono-Italic.ttf);
	font-style: italic;
	font-weight: normal;
}
@font-face
{
	font-family: "UbuntuMono";
	src: url(../fonts/UbuntuMono-BoldItalic.ttf);
	font-style: italic;
	font-weight: bold;
}
@font-face
{
	font-family: "ArialUnicodeMS";
	src: url(../fonts/ARIALUNI.ttf);
	font-style: normal;
	font-weight: normal;
}
body
{
	margin-top: 0.2em;
	margin-bottom: 0.2em;
}
.cover
{
	margin-top: 0.02em;
	margin-bottom: 0.02em;
	text-align: center;
}
.h1
{
	font-family: "TradeGothicLTStd";
	font-size: 220%;
	margin-top: 1em;
	margin-bottom: 0.1em;
	text-align: center;
}
.subtitle
{
	font-size: 140%;
	margin-top: 0.1em;
	margin-bottom: 0.5em;
	text-align: center;
}
.author
{
	font-size: 120%;
	margin-top: 4em;
	margin-bottom: 0.5em;
	text-align: center;
}
.h2
{
	font-family: "TradeGothicLTStd";
	font-size: 200%;
	margin-top: 0.5em;
	margin-bottom: 1em;
	text-align: left;
}
.h2a
{
	font-family: "TradeGothicLTStd";
	font-size: 150%;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	text-align: left;
}
.h2c
{
	font-family: "TradeGothicLTStd";
	font-size: 150%;
	margin-top: 0.5em;
	margin-bottom: 1em;
	text-align: center;
	color: #E02B2F;
}
.h3c
{
	font-family: "TradeGothicLTStd";
	font-size: 170%;
	margin-top: 1em;
	margin-bottom: 1em;
	text-align: center;
}
.h3r
{
	font-family: "TradeGothicLTStd";
	font-size: 140%;
	margin-top: 1em;
	margin-bottom: 0.5em;
	text-align: left;
}
.h3
{
	font-family: "TradeGothicLTStd";
	font-size: 140%;
	margin-top: 1em;
	margin-bottom: 0.3em;
	margin-left: 0em;
	text-indent: 0em;
	text-align: left;
	color: #E02B2F;
}
.h4
{
	font-family: "TradeGothicLTStd";
	font-size: 120%;
	margin-top: 0.5em;
	margin-bottom: 0.3em;
	margin-left: 0em;
	text-indent: 0em;
	text-align: left;
	color: #E02B2F;
}
.h5
{
	font-family: "TradeGothicLTStd";
	font-size: 105%;
	margin-top: 1em;
	margin-bottom: 0.3em;
	margin-left: 0em;
	text-indent: 0em;
	text-align: left;
}
.pub
{
	font-size: 150%;
	margin-top: 4em;
	margin-bottom: 0.5em;
	text-align: center;
}
.pub1
{
	font-size: 110%;
	margin-top: 0.1em;
	margin-bottom: 0.5em;
	text-align: center;
}
div.image
{
	margin: 0 auto;
	margin-top: 1em;
	margin-bottom: 0.5em;
	padding: 0;
	text-align: center;
	max-width: 99%;
	max-height: 99%;
	clear: both;
}
img
{
	max-width: 99%;
	max-height: 99%;
}
div.image1
{
	margin: 0 auto;
	margin-top: 1em;
	margin-bottom: 0.5em;
	padding: 0;
	text-align: left;
	max-width: 99%;
	max-height: 99%;
	clear: both;
}
.indent
{
	font-family: "JansonTextLTStd";
	margin-top: 0.2em;
	margin-bottom: 0.2em;
	margin-left: 0em;
	text-indent: 1.5em;
	text-align: justify;
}
.noindent
{
	font-family: "JansonTextLTStd";
	margin-top: 0.6em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-indent: 0em;
	text-align: left;
}
.noindent2
{
	font-family: "JansonTextLTStd";
	margin-top: 2em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-indent: 0em;
	text-align: left;
}
.programs
{
	font-family: "UbuntuMono";
	font-size: 0.8em;
	margin-top: 0.8em;
	margin-bottom: 0.8em;
	margin-left: 0em;
	text-align: left;
}
.all
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	margin-left: 0.2em;
	border: solid #000000 0.1em;
	background-color: #FFFFFF;
}
.sidebar
{
	margin-top: 1em;
	margin-bottom: 1em;
	padding: 1.5em;
	border-radius: 0.5em;
	background-color: #FDE1D8;
	border: solid #000000 0.1em;
}
.pre
{
	margin-top: 1em;
	margin-bottom: 1em;
	border-top: dashed #868787 0.1em;
	border-bottom: dashed #868787 0.1em;
}
.sidebart
{
	font-family: "JansonTextLTStd";
	font-size: 110%;
	margin-top: 0.1em;
	margin-bottom: 0.5em;
	text-align: center;
	color: #E02B2F;
}
.copy
{
	font-family: "JansonTextLTStd";
	font-size: 90%;
	margin-top: 0.8em;
	margin-bottom: 1em;
	margin-left: 0em;
	text-align: justify;
}
.copy2
{
	font-family: "JansonTextLTStd";
	font-size: 90%;
	margin-top: 4em;
	margin-bottom: 0.8em;
	margin-left: 0em;
	text-align: justify;
}
.copya
{
	font-family: "JansonTextLTStd";
	font-size: 90%;
	margin-top: 1.5em;
	margin-bottom: 0.8em;
	margin-left: 0em;
	text-align: justify;
}
.copya1
{
	font-family: "JansonTextLTStd";
	font-size: 90%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-align: justify;
}
.toc-chap
{
	font-family: "JansonTextLTStd";
	font-size: 120%;
	margin-top: 0.5em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-align: left;
}
.tocsec
{
	font-family: "JansonTextLTStd";
	margin-top: 0.5em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-align: left;
}
.tocsec1
{
	font-family: "JansonTextLTStd";
	margin-top: 0.5em;
	margin-bottom: 0.1em;
	margin-left: 4em;
	text-align: left;
}
.bull
{
	font-family: "JansonTextLTStd";
	margin-top: 0.4em;
	margin-bottom: 0.1em;
	margin-left: 1.5em;
	text-indent: -0.8em;
	text-align: left;
}
.figuret
{
	font-family: "JansonTextLTStd";
	font-size: 90%;
	margin-top: 1em;
	margin-bottom: 0.2em;
	margin-left: 0em;
	text-align: left;
}
.tabcapt
{
	font-family: "JansonTextLTStd";
	font-size: 90%;
	margin-top: 1em;
	margin-bottom: 0.2em;
	margin-left: 0em;
	text-align: left;
}
.ex-caption
{
	font-family: "JansonTextLTStd";
	font-size: 90%;
	margin-top: 1em;
	margin-bottom: 0.2em;
	margin-left: 0em;
	text-align: left;
}
a
{
	text-decoration: none;
	color: #000000;
}
.ded
{
	font-family: "JansonTextLTStd";
	margin-top: 10em;
	margin-bottom: 10em;
	text-align: center;
}
.notep
{
	font-family: "JansonTextLTStd";
	margin-top: 0.6em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-indent: 0em;
	text-align: left;
}
.noter
{
	margin-top: 1em;
	margin-bottom: 1em;
	border: solid black 0.1em;
	margin-left: 0em;
	text-align: left;
	padding: 0.1em 1em 0.3em 0.3em;
}
.notet
{
	font-family: "TradeGothicLTStd";
	font-size: 120%;
	margin-top: 0em;
	margin-bottom: 0.5em;
	margin-left: 0em;
	text-align: left;
}
.red
{
	color: #ED1C24;
}
.red1
{
	color: #E02B2F;
}
.ash
{
	color: #5E5E5F;
}
.pink
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	border-right: solid #000000 0.1em;
	border-bottom: solid #000000 0.1em;
	background-color: #FEEFEA;
	padding: 0.1em 0.5em 0.1em 0.5em;
}
.pink1
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	border-bottom: solid #000000 0.1em;
	background-color: #FEEFEA;
	padding: 0.1em 0.5em 0.1em 0.5em;
}
.pink2
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	border-right: solid #000000 0.1em;
	background-color: #FEEFEA;
	padding: 0.1em 0.5em 0.1em 0.5em;
}
.pink3
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	background-color: #FEEFEA;
	padding: 0.1em 0.5em 0.1em 0.5em;
}
.ash1
{
	color: #9A9A9B;
}
.green
{
	color: #159D95;
}
.green1
{
	color: #4C7E3A;
}
.num
{
	font-size: 240%;
}
.orange
{
	color: #E25425;
}
.noindent1
{
	font-family: "JansonTextLTStd";
	margin-top: 0.1em;
	font-size: 110%;
	margin-bottom: 1em;
	margin-left: 0em;
	text-indent: 0em;
	text-align: left;
}
.tablec
{
	font-family: "JansonTextLTStd";
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	border-bottom: solid #000000 0.1em;
	padding: 0.1em 0.5em 0.1em 0.5em;
}
.tablecr
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	border-right: solid #000000 0.1em;
	border-bottom: solid #000000 0.1em;
	padding: 0.1em 0.5em 0.1em 0.5em;
}
.tablec1
{
	font-family: "JansonTextLTStd";
	margin-top: 0.2em;
	margin-bottom: 0.1em;
}
.tablecr1
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	border-right: solid #000000 0.1em;
	padding: 0.1em 0.5em 0.1em 0.5em;
}
.blue1
{
	color: #016980;
}
.literal
{
	font-family: "UbuntuMono";
	font-size: 0.8em;
}
@page
{
        margin: 1.2em;
}
.center
{
	font-family: "JansonTextLTStd";
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	text-align: center;
}
td
{
	vertical-align: top;
}
table
{
	border-collapse: collapse;
}
.boxtitle-d
{
	font-family: "TradeGothicLTStd";
	font-size: 110%;
	margin-top: 0.2em;
	margin-bottom: 0.5em;
	text-align: left;
}
.box1
{
	font-family: "JansonTextLTStd";
	margin-top: 1em;
	margin-bottom: 1em;
	border-radius: 0.5em;
	border: solid black 0.1em;
	background-color: #FDDED3;
	padding: 1em;
}
.box2
{
	font-family: "JansonTextLTStd";
	margin-top: 1em;
	margin-bottom: 1em;
	border-radius: 0.5em;
	border: solid black 0.1em;
	background-color: #FFFFFF;
	padding: 1em;
}
.cap1
{
	font-family: "JansonTextLTStd";
	font-size: 110%;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-align: justify;
}
.cap2
{
	font-family: "JansonTextLTStd";
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-align: justify;
}
.ent
{
	font-family: "ArialUnicodeMS";
	src: url(../fonts/ARIALUNI.ttf);
}
.olist
{
	font-family: "JansonTextLTStd";
	margin-top: 0.4em;
	margin-bottom: 0.1em;
	margin-left: 1.5em;
	text-indent: -0.8em;
	text-align: left;
}
.codestrong
{
	font-family: "UbuntuMono";
	font-weight: bold;
}
.underline
{
	text-decoration: underline;
}
.h1c
{
	font-family: "TradeGothicLTStd";
	font-size: 200%;
	margin-top: 0.5em;
	margin-bottom: 1em;
	text-align: center;
}
table1
{
	margin-top: 0.1em;
	margin-bottom: 1em;
	border-collapse: collapse;
}
.noindentt
{
	font-family: "JansonTextLTStd";
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 0em;
	text-align: justify;
}
.noindentb
{
	font-family: "JansonTextLTStd";
	margin-top: 0.2em;
	margin-bottom: 1em;
	margin-left: 0em;
	text-align: justify;
}