/* Document settings */
body {background-color:#ffffff; font-family:sans-serif;}
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;}