<style type="text/css">
	/*<![CDATA[*/

body {
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	color: #333333
}

div.book div.titlepage h1.title
{
	font-family: Arial, Helvetica, sans-serif;
	color: #6a9d00;
	font-style: normal;
	font-weight: bold;
}

div.book div.titlepage h2.subtitle
{
	font-family: Arial, Helvetica, sans-serif;
	color:#6a9d00;
	font-style: normal;
	font-weight: bold;
}


div.chapter div.titlepage
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: large;
	color: #669900;
}

div.part div.titlepage
{
	font-family: Arial, Helvetica, sans-serif;
	color: #669900;
}

div.abstract
{
	margin-left:5ex;
	margin-right:5ex;
}


div.sect1 div.titlepage
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: large;
	color: #ff6600;
}

div.sect1 div.titlepage
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: medium;
	color: #FF6600;
	font-style: normal;
	font-weight: bold
}


div.figure p.title,
div.table p.title
{
	font-family: "Times New Roman", Times, serif;
	/*font-size: small;*/
	font-style: oblique;
	color: #000000;
	font-weight:bolder;
	border-style: none
}


h2.title
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: medium;
	color: #FF6600;
	font-style: normal;
	font-weight: bold
}

h1.title {
	font-size: 300%;
	text-align: center;
}

h2.subtitle {
	font-size: 200%;
	text-align: center;
}

div.authorgroup
{
	color: black;
}

div p.edition
{
	color: black;
}

/* */
div.important, 
div.warning
{
	border:1px solid;
	border-color:#ff0000
}

div.tip
{
	border:1px solid;
	border-color:#669900;
}

div.important h3.title,
div.warning h3.title
{
	font-size: large;
	font-style: oblique;
	color: #ffffff;
	background-color: #ff0000;
}


div.tip h3.title
{
	font-size: large;
	font-style: oblique;
	background-color:#669900;
	color:#ffffff;
}




/* Navigation */
.navheader
{
	font-family: Arial, Helvetica, sans-serif;
	margin : 0px 10px 10px 0px;
	background-color:#eeeaee;
	color:#6a9d00;
}

.navfooter
{
	font-family: Arial, Helvetica, sans-serif;
	font-size:small;
	margin : 0px 10px 10px 0px;
	background-color:#eeeaee;
	color:#FF6600;
}



/*:active
{
	color:blue;
}*/

:link
{
	color:#6a9d00;
}

:visited
{
	color:#808080;
}

p {
	font-family: "Times New Roman", Times, serif;
}

/*body.book, body.chapter,
body.part, body.preface,
body.sect1, body.index,
body.colophon	{
	width: 98%;
	margin: 10px;
	border : 1px solid White;
	}

.footnotes	{
	width: 95%;
	margin : 10px;
	border : 1px solid White;
	font-size: 12pt;
	}

.screen	{
	width: 98%;
	margin: 0px 20px 0px 0px;
	font-family: helvetica, arial, sans-serif;
	font-size: 12pt;
	}

div.list-of-examples {
	display: none;
}*/



	/*]]>*/
</style>

