/* Update 201307: in font family, add Simsun after Times so that IE10 can display correctly */
body { background-color: #333333; font: 100% Times, Simsun, serif; color: silver; 
	scrollbar-3d-light-color: Navy; scrollbar-arrow-color: green; 
	scrollbar-base-color: yellow; scrollbar-dark-shadow-color: Navy; 
	scrollbar-face-color: olive; scrollbar-highlight-color: Navy; 
	scrollbar-shadow-color: Navy }

td.textbox { width: 40em }
div.textbox { width: 40em }

a { color: lightblue }
a:hover { color: #EE82EE }

.WhiteTitle { color: white }
.YellowTitle { color: yellow }
.VioletTitle { color: #EE82EE }
.RedTitle { color: red }
.ReturningLink { font-size: 81.25% }

a.violet_yellow { color: #EE82EE }
a.violet_yellow:hover { color: yellow }