body{font-size:0.9em;font-family:sans-serif;
background-color:#EOFFFF;a}
.different{font-weight:bold;font-style:italic;}
.different2{font-weight:bold;font-style:italic;color=#000099;}
#highlight{background-color:#FFFFOO;}
a:hover{background-color:#CCCCFF;}
a:active,a:visited{font-weight:bold;}
h1.diff1{font-weight:bold;color=#000099;}
h3.diff3{font-weight:bold;color=#FF0000;}
h5.diff5{font-weight:bold;color=#FF0000;}
h2.diff2{font-weight:bold;color=#000099;}