a:link, a:visited, a:active
{
	color:            #0000c0;
	text-decoration:  underline;
	font-weight: bold;
}

a:hover
{
	color:            #c00000;
	text-decoration:  underline;
	font-weight: bold;
}



#contents ul a:link, #contents ul a:visited, #contents ul a:active
{
	color:            #000000;
	text-decoration:  none;
	font-weight: normal;
}

#contents ul a:hover
{
	color:            #333333;
	text-decoration:  underline;
	font-weight: normal;
}


html {
	background-color: #ffffff;
	color: #000000;
	text-align: center;
	font-family: "Times New Roman", serif;
	font-size: medium;
}

#wrap {
	padding: 30px 0px 30px 0px;
	width: 780px;
	margin: 0px auto 0px auto;
	text-align: left;
	background-color: #ffffff;
}




#body {
	padding: 0px;
	margin-top: 64px;
}


p
{
	padding: 0px;
	margin: 0px;
	padding-left:  148px;
	text-align: justify;
	text-indent: 1.5em;	
	line-height: 1.45em;
}

p.firstparagraph
{
	text-indent: 0;
}

p.tall
{
	margin-top: 12px;
	margin-bottom: 12px;
}

p.etude
{
	padding: 0px;
	margin: 0px;
	padding-left:  148px;
	padding-bottom: 16px;
	text-align: justify;
	text-indent: 0;	
	line-height: 1.45em;
}

.references p
{
	font-size: 0.95em;
	text-indent: 0;
	padding-bottom: 16px;
	line-height: 1.1em;
}

p.img
{
	text-align: left;
	margin: 32px 0px 16px 0px;
	text-indent: 0;
}




h1
{
	font-size: 2em;
	margin: 48px 0px 0px 0px;
	padding: 12px 0px 36px 148px;
	border-top: 10px solid #000000;
}

h2.author
{
	font-size: 1.2em;
	margin: 0px;
	padding: 0px 0px 110px 148px;
	font-style: italic;
	font-weight: normal;
	border: none;
}


h2
{
	font-size: 1.2em;
	padding: 12px 0px 8px 0px;
	margin-top: 36px;	
	border-top: 1px solid #000000;
}

h3
{
	font-size: 1em;
	padding: 8px 0px 8px 148px;
}

h4
{
	font-size: 0.9em;
	padding-top: 24px;
	padding-left: 64px;
}


h5
{
	padding-left: 64px;	
}


#contents
{
	margin-top: 64px;
}

#contents ul
{
	font-weight: normal;
	list-style-type: none;
	padding: 0px 0px 0px 148px;	
}

#contents ul ul
{
	font-weight: normal;
	list-style-type: none;
	padding: 0px 0px 0px 32px;	
}


#contents h2
{
	font-size: 1.4em;
	border: 0;
}


.center
{
	text-align: center;
}


pre
{
	font-family: "Courier New", Courier, monospace;
	font-size: 1.15em;
	margin: 32px 0px 16px 0px;
	padding: 0px 0px 0px 148px;
}

pre.small
{
	font-size: 1.05em;
	margin: 32px 0px 16px 0px;
	padding: 0px 0px 0px 148px;
}

pre.extrasmall
{
	font-size: 0.95em;
	margin: 32px 0px 16px 0px;
	padding: 0px 0px 0px 148px;
}

pre.exercises
{
	font-size: 1.15em;
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 148px;
	
}

pre.exercises1
{
	font-size: 0.95em;
	line-height: 2em;
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 148px;
}

pre.exercises5
{
	font-size: 0.95em;
	line-height: 1.5em;
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 148px;
}


.figure
{
	font-size: .9em;
	margin: 16px 0px 32px 0px;
	padding: 0px 0px 0px 148px;	
	text-indent: 0;
}

.figure strong
{

}


code
{
/*	font-family: Courier, "Courier New", monospace; */
	font-size: 1.1em;
	color: #000000;
}



ul
{
	list-style: square outside;
	padding-left: 148px;
	line-height: 1.45em;
}



.underline
{
	text-decoration:  underline;
}



.figimg
{
	padding-top: 32px;
}