h1, h2, h3, h4, h5, h6 { 
	font-family:verdana;
}

body, table{  
	font-family: verdana, "Times New Roman", Times, serif; 
    background-color: #FFFFFF; 
    width: auto; 
    color: #000000; 
    list-style-type: none; 
	font-size: 12px; 
}

.title {  
    font-size: 17px; 
    font-weight: bold; 
    color: #000000; 
	font-family: Arial, Helvetica, sans-serif
}
.section {  
	font-family: Arial, Helvetica, sans-serif; 
	font-size: 15px; 
	color: #000099; font-weight: bold}

.subsection {  
	font-family:  Arial, Helvetica, sans-serif; 
	font-size: 14px; 
	color: #000099; 
	font-weight: bold
}

.subsubsection {  
	font-family: Arial, Helvetica, sans-serif; 
	color: #0000CC; 
	font-weight: bold; 
	font-size: 13px;}

.subtitle {  
	font-family: verdana, "Times New Roman", Times, serif; 
	font-size: 9px; 
	color: #000099; 
	font-weight: lighter; 
}

.emphasis {  
	font-style: italic; 
	color: #FF3333
}

.pcode {  font-family: "Courier New", Courier, mono; font-size: x-small; color: #660000; border: 1px #000000 solid; border-color: #003333 #000000 #000000; padding-top: 5px; padding-right: 10px; padding-bottom: 5px; padding-left: 10px; border-width: 1px 1px 1px 1px; height: auto; width: 600px}
.exhead {  font-family: "Times New Roman", Times, serif; font-style: italic; color: #006633; font-size: small}
.Exercisehead {  font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: #660066}
.ExerciseBody {  font-family: "Times New Roman", Times, serif; font-size: 11pt; color: #660066}
.manual {  font-family: Arial, Helvetica, sans-serif; font-size: 10pt; color: #006633}
.emphasis {  font-style: italic; color: #FF3333}
.example {  font-style: italic; color: #339966; font-weight: bold}
.note { color: #0000FF }
.figure {  color: #006600}



a  {
	color : #0000FF;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration: underline;
	font-size: 12px;
	font-weight: normal;
}

a:hover {
	color : #FF0000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration : underline;
	font-size: 12px;
	font-weight: normal;
}

a:visited {
	color : #880088;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration : underline;
	font-size: 12px;
	font-weight: normal;
}

a:visited:hover {
	color : #FF0000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration : underline;
	font-size: 12px;
	font-weight: normal;
}

a.smallLink  {
	color : #0000FF;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration: underline;
	font-size: 10px;
	font-weight: normal;
}

a.smallLink:hover {
	color : #FF0000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration : underline;
	font-size: 10px;
	font-weight: normal;
}

a.smallLink:visited  {
	color : #880088;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration: underline;
	font-size: 10px;
	font-weight: normal;
}

a.smallLink:visited:hover {
	color : #FF0000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration : underline;
	font-size: 10px;
	font-weight: normal;
}