/* CSS Document */

body,td,th,pre {
	font-size: 12px;
}

#top_nav .font11 {
	color: #999999;
}
	
#top_nav .font13 {
	color: #000000;
}
	
#top_nav .font15 {
	color: #999999;
}