@charset "utf-8";
/* CSS Document */
/* highlighting current page button in white */

#mtdppage a:link#mtdpbutton,               #mtdppage a:visited#mtdpbutton,
#symptompage a:link#symptombutton,         #symptompage a:visited#symptombutton,
#workshoppage a:link#workshopbutton,       #workshoppage a:visited#workshopbutton,

#contactpage a:link#contactbutton,         #contactpage a:visited#contactbutton

{ 
	background-color: white ;
	color: #0064B5 ;  
	}