/* Document settings */
body {background-color:#ffffff; font-family: Times New Roman;}
a[href] {color:#0000ff;}
a[href]:hover {color:#ff0000; cursor:pointer;}
a[href]:visited {color:#800080;}
div {unicode-bidi:bidi-override;}
span {unicode-bidi:bidi-override;}
sup {font-size:0.5em;}
sub {font-size:0.5em;}

.credits a:link{color:#000000;text-decoration:none;}
.credits a:visited {text-decoration: none; color: #000000;}
.credits a:hover{color:#000000;text-decoration:underline;}
.credits {
	font:11px Times New Roman;;
	color:#000000;
	text-decoration:none;
	text-align:center;
}