body {background-color: #ccffff;}
span.highlight {color: red}
table.topmenu {
	font-family: sans-serif;
}
body,th,td,p,div,span,a,input,select,textarea,ul,ol,dl,h1,h2,h3,h4,h5,h6,li,big,small,b,pre.sunfont{font-family:Arial,Helvetica,sans-serif}
a{text-decoration:none}
dt{font-weight:bold;padding:5px 0px 0px 0px}