body { background-color:#FFFFCC; }
a:link { color:#2000A0; text-decoration:none }
a:visited { color:#2000A0; text-decoration:none }
a:hover { color:#3000FF; text-decoration:none }
a.author:link { color:#008000; text-decoration:none }
a.author:hover { color:#00FF00; text-decoration:none }
a.author:visited { color:#008000; text-decoration:none }
a.arxiv:link { color:#C00000; text-decoration:none }
a.arxiv:hover { color:#FF0000; text-decoration:none }
a.arxiv:visited { color:#C00000; text-decoration:none }