body { 

scrollbar-face-color: #00205D; 

scrollbar-shadow-color: #239ADE; 

scrollbar-highlight-color: #5B7CB2; 

scrollbar-3dlight-color: #B9CEE3; 

scrollbar-darkshadow-color: #000316; 

scrollbar-track-color: #C5D5E7; 

scrollbar-arrow-color: #FFFFFF; }
.tex {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 13px;
	text-decoration: none;
}