/* basic elements */
body { 
	text-align: left;
}

a:link { 
	color: #0000FF;
}

a:visited { 
	color:  #ff00ff;

}

a:hover, a:active { 
	color:  #ff0000;
}

li {
	color:  #2f4f4f;
}		
	
	
/* DIV "Selectors" */
#const {
	color:  #8b4513;
}

	#toc {
		color:  #006400;
	}
	
#sig {
	color:  #708090;
}

#pre1 {
	color:  #800080;
}

#pre2 {
	color:  #8b4513;
}

#footer {
	color:  #006400;
}


