body{
	font-family:			Times, serif;
	font-size:			16px;
	text-align:			justify;
	background-color:		white;
	margin-right:			10px;
	margin-left:			10px;
	margin-top:			5px;
	margin-bottom:			5px;
}
/*
		links
*/
a {
	font-size:			16px;
}
a[href] {
	color:				#4040FF;
	text-decoration:		none;
}
a[href]:hover {
	color:				#FF4040;
	text-decoration:		underline;
}
a[href]:visited {
	color:				#4040FF;
}
a[href]:active {
	color:				red;
}
code.email a.email {
	font-size:			14px;
}
/*
		Navigation header
*/
div.navheader {
	padding-left: 10px ;
	padding-right: 10px ;
	color:				#022a63;
	background: 			#8FAFED url('common/navi_bar.png') repeat-x top;
}
div.navheader tr th {
	color:				#022a63;
	font-size:			22px;
}
div.navheader tr td a[href]:visited {
	color:				#022a63;
	font-size:			16px;
}
div.navheader tr td a[href]:active {
	color:				#022a63;
	font-size:			16px;
}
/*
		Navigation footer
*/
div.navfooter {
	padding-left: 10px ;
	padding-right: 10px ;
	color:				#022a63;
	background: 			#8FAFED url('common/navi_bar.png') repeat-x top;
}
div.navfooter tr td {
	color:				#022a63;
	font-size:			16px;
}
div.navfooter tr td a[href]:visited {
	color:				#022a63;
	font-size:			16px;
}
div.navfooter tr td a[href]:active {
	color:				#022a63;
	font-size:			16px;
}
/*
		title page 
*/
div.TITLEPAGE {
	left:				0px ;
	right:				0px ; 
	top:				0px
}

div.TITLEPAGE h1.title {
	margin-left:			0px;
	margin-right:			0px;
/*	padding-left:			300px;*/
	text-align:			center;
	padding-bottom:			20px;
	background-image:		url(common/fond-titre-1.png) ;  
}

div.TITLEPAGE h1.title a {
	color:				white;
	font-size:			24px;
	text-align:			center;
	text-decoration:		none; 
	line-height:			80px;
}

div.TITLEPAGE h3.author a {
/*	background-color:		#4268A6; */
	color:				white;
	font-size:			18px;
	text-align:			center;
	text-decoration:		none;

	margin-left:			0px;
	margin-right:			0px;
	padding-top:			5px;
	margin-bottom:			5px;
}

div.book {
}
/*
		entetes des chapitres dans les pages normales
*/
div.chapter h1 {
	color:				white;
	background-image:		url(common/fond-titre-chapitre.png) ;
	text-decoration:		none;
	font-size:			18px;
	padding:			5px;
	margin-right:			-5px;
	margin-left:			-5px;
}
/*
		Titles of level 1 sections
*/
div.sect1 h1 {
	color:				blue;
	background-color:		#E0E0E0;
	background-image:		none;
	text-decoration:		underline;
	font-size:			18px;
	padding:			5px;
	margin-right:			-5px;
	margin-left:			-5px;
}

div.sect1 h1.sect1 a {
	color:				blue;
	background-color:		#E0E0E0;
	background-image:		none;
	text-decoration:		underline;
	font-size:			18px;
	padding:			5px;
	margin-right:			-5px;
	margin-left:			-5px;
}
/*
		Titles of level 2 sections
*/
div.sect2 h2.title {
	color:				blue;
	background-color:		#E0E0E0;
	background-image:		none;
	text-decoration:		underline;
	font-size:			16px;
	padding:			5px;
	margin-right:			-5px;
	margin-left:			-5px;
}

div.sect2 h2.sect2 a {
	color:				blue;
	text-decoration:		none;
	font-size:			16px;
	padding:			5px;
	margin-right:			-5px;
	margin-left:			-5px;
}
/*
		table of content at the beginning of each chapter
*/
div.TOC {
	background: #8FAFED url('common/navi_bar.png') repeat-x top;
	margin-bottom: 10px;
	margin-top: 10px;
	margin-left: 150px;
	margin-right: 150px;
	padding: 10px;
	border-style: solid;
	border-width: 2px;
	border-color: #000000;
}
div.TOC dt {
	color:				#022a63;
	font-weight: bold;
	font-size:			16px;
	margin-left:			20px;
}
div.TOC a {
	font-size:			16px;
	color:				#022a63;
	font-weight: bold;
	margin-left:			40px;
	text-decoration:		none;
}
div.TOC a:hover {
	font-weight: bold;
	color:				#022a63;
	text-decoration:		underline;
}
div.TOC a:visited {
	font-weight: bold;
	color:				#022a63;
	text-decoration:		underline;
}
/*
		figures
*/
div.figure {
	text-align:			center;
}

div.figure div.informalexample {
	text-align:			center;
	color:					#006060;
}

div.informalfigure {
	text-align:			center;
}
/*
		equations
*/
div.equation {
	text-align:			center;
}
div.informalequation {
	text-align:			center;
}
/*
		tables

TD  {
	text-align:			center;
}
TD P {
	text-align:			justify;
}
/*
		Q and A sets
*/
tr.question p {
	font-size:			16px;
	font-weight:			bold;
	margin-top:			20px;
}
tr.answer p {
	font-size:			16px;
}
/*
		top navigation bar
*/
div.NAVHEADER th {
	color:				green;
}
/*
		bottom navigation bar
*/
div.NAVFOOTER td {
	color:				black; 
	text-decoration: 		italic;
}
/*
		user input
*/
PRE { 
	color:				#500000;
	margin-left:			40px;
}
/*
		variable list : term
*/
div.variablelist DT {
	color:				#008000; 
	text-decoration:		underline;
}

div.variablelist DT a {
	color:				#008000; 
	text-decoration:		underline;
}
div.variablelist DT a:visited {
	color:				#008000; 
	text-decoration:		underline;
}
/*
		keycodes
*/
span.keycode {
	color:				#006060; 
}
/*
		Commands
		this is mainly to remove the effect of the "strong" tag in commands
*/
a span strong {
	color:				#20208F;
/*	font-style:			normal; */
	text-decoration:		italic;
	font-weight:			normal;
}
/*
		tables
*/
div.informaltable table thead tr th {
	font-weight:			bold;
	font-size:			14px;
}
div.informaltable table tbody tr td {
	font-weight:			normal;
	font-size:			14px;
}
/*
		table of content
*/
dt span.chapter a {
	font-size:			16px;
	font-weight:			bold;
	line-height:			40px
}
dt span.appendix a {
	font-size:			16px;
	font-weight:			bold;
	line-height:			40px
}
dt span.index a {
	font-size:			16px;
	font-weight:			bold;
	line-height:			40px
}