a {
  text-decoration: none;
}

/* unvisited link */
a:link {
  color: darkblue;
}

/* visited link */
a:visited {
  color: #80B0DD;
}

/* mouse over link */
a:hover {
	background: #707070;
        color: #a0ffa0 ;
	font-size : %120;
}

/* selected link */
a:active {
  color: #a0ffa0 ;
}

p.signature { text-align: right ; font-style: italic }
p.citation { font-size: 80% ; margin-left: 5em ; margin-right: 5em }