@font-face
{
	font-family: "Courier New";
	src: url(fonts/cour.ttf);
	font-style: normal;
	font-weight: normal;
}
@font-face
{
	font-family: "Courier New Bold";
	src: url(fonts/courbd.ttf);
	font-style: normal;
	font-weight: bold;
}
@font-face
{
	font-family: "Courier New Italic";
	src: url(fonts/couri.ttf);
	font-style: italic;
	font-weight: normal;
}
@font-face
{
	font-family: "Courier New Bold Italic";
	src: url(fonts/courbi.ttf);
	font-style: italic;
	font-weight: bold;
}
body
{
	margin-top: 0.2em;
	margin-bottom: 0.2em;
}
.cover
{
	 margin-top: 0.02em;
	 margin-bottom: 0.02em;
	 text-align: center;
}
.h1
{
	font-size: 250%;
	margin-top: 1.5em;
	margin-bottom: 1em;
	text-align: center;
}
.h1ap
{
	font-size: 250%;
	margin-top: 1.5em;
	margin-bottom: 1em;
	text-align: center;
        border-bottom: solid #B5B6B5 0.2em;
}
.author
{
	font-size: 130%;
	margin-top: 1em;
	margin-bottom: 3em;
	text-align: center;
}
.b-author
{
	margin-top: 1em;
	margin-bottom: 0.1em;
	text-align: left;
}
.pub
{
	font-size: 130%;
	margin-top: 8em;
	margin-bottom: 0.1em;
	text-align: center;
}
.h2
{
	font-size: 180%;
	margin-top: 0.5em;
	margin-bottom: 1em;
	margin-left: 0.9em;
	text-indent: -0.9em;
	text-align: left;
}
.h2a
{
	font-size: 130%;
	margin-top: 0.5em;
	margin-bottom: 1em;
	text-align: left;
}
.h3
{
	font-size: 150%;
	margin-top: 0.8em;
	margin-bottom: 0.5em;
	margin-left: 1.5em;
	text-indent: -1.5em;
	text-align: left;
}
.h4
{
	font-size: 140%;
	margin-top: 1em;
	margin-bottom: 0.5em;
	margin-left: 0.1em;
	text-align: left;
}
.h5
{
	font-size: 120%;
	margin-top: 0.8em;
	margin-bottom: 0.5em;
	margin-left: 0.1em;
	text-align: left;
}
.h3b
{
	font-size: 120%;
	margin-top: 0.8em;
	margin-bottom: 0.5em;
	margin-left: 0.1em;
	text-align: left;
}
.h5a
{
	font-size: 120%;
	margin-top: 0.8em;
	margin-bottom: 0.5em;
	margin-left: 1.1em;
	text-indent: -1em;
	text-align: left;
}
.h5at
{
	font-size: 120%;
	margin-top: 0.3em;
	margin-bottom: 0.5em;
	margin-left: 1.1em;
	text-indent: -1em;
	text-align: left;
}
.h4a
{
	font-size: 120%;
	margin-top: 0.8em;
	margin-bottom: 0.5em;
	margin-left: 1.1em;
	text-indent: -1em;
	text-align: left;
}
.noindent
{
	margin-top: 0.4em;
	margin-bottom: 0.1em;
	margin-left: 0.1em;
}
.subtitle
{
	font-size: 130%;
	margin-top: 2.7em;
	margin-bottom: 0.1em;
	text-align: center;
}
.edition
{
	font-size: 120%;
	margin-top: 1.7em;
	text-align: center;
	margin-bottom: 0.1em;
}
.noindenta
{
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 0.1em;
}
.noindents
{
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 0.1em;
}
.noindent1
{
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 1.7em;
	text-indent: -1.5em;
}
.noindentb
{
	margin-top: 0.5em;
	margin-bottom: 1em;
	margin-left: 0.2em;
}
.noindenttb
{
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 0.2em;
}
.noindentt
{
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 0.2em;
}
.noindentf
{
	font-size: 120%;
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 0.2em;
}
.noindentt1
{
	margin-top: 0.8em;
	margin-bottom: 0.1em;
	margin-left: 0.2em;
}
a
{
	text-decoration: none;
        color: #000000;
}
.footnote
{
	margin-top: 0.5em;
	margin-bottom: 0.1em;
	margin-left: 0.1em;
}
pre.programs
{
     font-family: "Courier New";
     font-size: small;
     margin-top: 1em;
     margin-bottom: 1em;
     margin-left: 2em;
}
pre.programs2
{
     font-family: "Courier New";
     font-size: small;
     margin-top: 1em;
     margin-bottom: 1em;
     margin-left: 1.8em;
     border: solid black 0.1em;
     padding: 0.5em 0.5em 0.5em 0.5em;
}
pre.programs3
{
     font-family: "Courier New";
     font-size: small;
     margin-top: 1em;
     margin-bottom: 1em;
     margin-left: 0.2em;
     border: solid black 0.1em;
     padding: 0.5em 0.5em 0.5em 0.5em;
}
.figuret
{
	margin-top: 0.8em;
        page-break-before: avoid;
	margin-bottom: 1em;
	margin-left: 4.9em;
	text-indent: -4.9em;
}
.tablet
{
	margin-top: 1em;
        page-break-after: avoid;
	margin-bottom: 0.2em;
	margin-left: 4.4em;
	text-indent: -4.4em;
}
.bull
{
	margin-top: 0.5em;
	margin-bottom: 0.1em;
	margin-left: 1em;
	text-indent: -0.8em;
}
.order
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	margin-left: 1.2em;
	text-indent: -1em;
}
.orderl
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	margin-left: 3.3em;
	text-indent: -1.3em;
}
.order3
{
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 1.3em;
}
.ordert1
{
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 1.2em;
	text-indent: -1.6em;
}
.orderp
{
	margin-top: 0.5em;
	margin-bottom: 0.3em;
	margin-left: 1.4em;
	text-indent: -0.2em;
}
.orderpi
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	margin-left: 1.2em;
	text-indent: 1.2em;
}
.ordera
{
	margin-top: 0.4em;
	margin-bottom: 0.4em;
	margin-left: 2.6em;
	text-indent: -1.3em;
}
.ordera1
{
	margin-top: 0.4em;
	margin-bottom: 0.4em;
	margin-left: 3.4em;
	text-indent: -1.3em;
}
.orderat
{
	margin-top: 1em;
	margin-bottom: 0.4em;
	margin-left: 2.2em;
	text-indent: -1em;
}
.ordert
{
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 1.2em;
	text-indent: -1em;
}
.ordert2
{
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 1.2em;
	text-indent: -1.6em;
}
.order2
{
	margin-top: 0.3em;
	margin-bottom: 0.1em;
	margin-left: 1.1em;
	text-indent: -1.4em;
}
.alla
{
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 1.5em;
}
.table
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	margin-left: 0.5em;
}
.tablei
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	margin-left: 1.2em;
}
div.image
{
	 margin: 0 auto;
	 margin-top: 1em;
	 margin-bottom: 0.5em;
	 margin-left: 0.2em;
	 padding: 0;
	 text-align: left;
	 max-width: 99%;
	 max-height: 99%;
	 clear: both;
}
div.image1
{
	 margin: 0 auto;
	 margin-top: 3em;
	 margin-bottom: 0.5em;
	 margin-left: 0.2em;
	 padding: 0;
	 text-align: left;
	 max-width: 99%;
	 max-height: 99%;
	 clear: both;
}
.mark
{
	background-color: #EBEBEC;
	color: #000000;
	padding: 0.3em 0.3em 0.3em 0.3em;
}
.copy
{
	font-size: 90%;
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 0.2em;
}
.copyt
{
	font-size: 90%;
	margin-top: 1.8em;
	margin-bottom: 0.1em;
	margin-left: 0.2em;
}
.tocchap
{
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 2.7em;
	text-indent: -2.5em;
}
.tocsec
{
	margin-top: 0.4em;
	margin-bottom: 0.4em;
	margin-left: 2.8em;
	text-indent: -2.7em;
}
.tocsec1
{
	margin-top: 0.4em;
	margin-bottom: 0.4em;
 	margin-left: 6.4em;
	text-indent: -3.5em;
}
.tocsec2
{
	margin-top: 0.4em;
	margin-bottom: 0.4em;
	margin-left: 10.5em;
	text-indent: -4.2em;
}
.note
{
	margin-top: 0.8em;
	margin-bottom: 0.8em;
	margin-left: 2em;
	border-top: solid #818181 0.2em;
	border-bottom: solid #818181 0.2em;
	padding: 0.1em 0.1em 0.5em 0.7em;
}
.notet
{
	margin-top: 0.5em;
	margin-bottom: 0.01em;
	margin-left: 0.2em;
}
.sidebar
{
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 0.2em;
	background-color: #A5A5A5;
	padding: 0.5em 0.5em 0.5em 0.5em;
}
.sidebar1
{
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 0.2em;
	background-color: #E6E6E6;
	padding: 0.5em 0.5em 0.5em 0.5em;
}
.sidebart
{
	font-size: 120%;
	margin-top: 0.2em;
	margin-bottom: 0.4em;
	margin-left: 0.1em;
	text-align: left;
}
.codestrong
{
	font-family: "Courier New Bold";
}
.codeitalic
{
	font-family: "Courier New Italic";
}
.bq
{
	margin-top: 0.7em;
	margin-bottom: 0.7em;
	margin-left: 2em;
	margin-right: 2em;
}
.bq1
{
	margin-top: 0.7em;
	margin-bottom: 0.2em;
	margin-left: 2em;
	margin-right: 2em;
}
.bqi
{
	margin-top: 0.2em;
	margin-bottom: 0.2em;
	margin-left: 2em;
	margin-right: 2em;
        text-indent: 1em;
}
.right
{
	margin-top: 0.7em;
	margin-bottom: 1em;
	margin-left: 1em;
	text-align: right;
}
.indent
{
	margin-top: .2em;
	margin-bottom: .2em;
	margin-left: 0.2em;
	text-indent: 1.5em;
}
.indent1
{
	margin-top: 0.6em;
	margin-bottom: 0.6em;
	margin-left: 1.5em;
}
.indentb
{
	margin-top: 0.2em;
	margin-bottom: 1em;
	margin-left: 0.2em;
	text-indent: 1.5em;
}
ul.StatementListSquare
{
         font-family: "JansonTextLTStd";
         list-style-type: square;
         margin-top: 10px;
         margin-bottom: 0;
}
p.center {
	font-style: normal;
	font-weight: normal;
	font-size: 2.5em;
	margin-top: 0.5em;
	margin-bottom: 0;
	text-align: center;
}
p.centera {
	font-style: normal;
	font-weight: normal;
	font-size: 1.5em;
	margin-top: 0.5em;
	margin-bottom: 0;
	text-align: center;
	color: #FBBE0B;
}
p.centerb {
	font-style: normal;
	font-weight: normal;
	font-size: 1em;
	margin-top: 0.5em;
	margin-bottom: 1.5em;
	text-align: center;
	color: #A1A1A1;
}
p.centerc {
	font-style: normal;
	font-weight: normal;
	font-size: 1em;
	margin-top: 0.5em;
	margin-bottom: 1.5em;
	text-align: center;
}
div.puba {
	font-style: normal;
	font-weight: normal;
	font-size: 4em;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	text-align: center;
}
div.pubb {
	text-align:center;
	display:block;
	margin: 0 auto;
	padding-top: 0.8em;
	text-align: center;
}
.ash
{
       background-color: #EBEBEC;
       padding: 0.2em;
}
.equ
{
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	margin-left: 2.8em;
}
.equ1
{
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	margin-left: 3em;
	text-indent: -1em;
}
.h2c
{
	font-size: 180%;
	margin-top: 2em;
	margin-bottom: 0.2em;
	text-align: center;
}
.centert1
{
	font-size: 160%;
	margin-top: 0.4em;
	margin-bottom: 0.1em;
	text-align: center;
}
.centertt1
{
	font-size: 160%;
	margin-top: 1em;
	margin-bottom: 0.1em;
	text-align: center;
}
.ash1
{
       color: #CDCDCD;
}
.underline
{
	border-bottom: solid black 0.1em;
}
.ndash
{
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 1.8em;
	text-indent: -0.8em;
}
.answer
{
	margin-top: 0.2em;
	margin-bottom: 0.1em;
	margin-left: 1.2em;
	text-indent: -1em;
}
.att
{
	margin-top: 0.4em;
	margin-bottom: 0.1em;
	margin-left: 0.1em;
}
.sidebars
{
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 0.2em;
	background-color: #DEDFDE;
	padding: 0.5em 0.5em 0.5em 1em;
}
.b-h1
{
	font-size: 200%;
	margin-top: 0.5em;
	margin-bottom: 0.2em;
	margin-left: 0.9em;
	text-indent: -0.9em;
	text-align: left;
}
.b-subtitle
{
	margin-top: 0.1em;
	margin-bottom: 1em;
	margin-left: 0.9em;
	text-indent: -0.9em;
	text-align: left;
}
.caption
{
	margin-top: 0.8em;
	margin-bottom: 1em;
	margin-left: 0.2em;
}
.indent2
{
	margin-top: .2em;
	margin-bottom: .2em;
	margin-left: 3em;
	text-indent: -2em;
}
.sidenote
{
	margin-top: 0.4em;
	margin-bottom: 0.1em;
	margin-left: 0.1em;
}
.alli
{
	margin-top: 0.3em;
	margin-bottom: 0.3em;
	margin-left: 2em;
}
.toctable
{
	margin-top: 1em;
	margin-bottom: 0.1em;
	margin-left: 2.7em;
	text-indent: -2.5em;
}
.center2
{
	font-size: 160%;
	margin-top: 5em;
	margin-bottom: 0.1em;
	text-align: center;
}
img
{
	 max-width: 100%;
	 max-height: 100%;
}


.red {
  color: rgb(255,0,0); /* red */
}

pre.programs-o
{
     font-family: "Courier New";
     font-size: small;
     margin-top: 1em;
     margin-bottom: 1em;
     margin-left: 0.2em;
}
@page
{
     margin: 1.2em;   
}