/* Document settings */
body {background-color:#71728a; font-family:sans-serif;}
a[href] {color:#ccb1ff;}
a[href]:hover {color:#ebe0ff; cursor:pointer;}
a[href]:visited {color:#b2b2a9;}
a[href] * {text-decoration:underline;}
div {unicode-bidi:bidi-override;}
span {unicode-bidi:bidi-override;}
sup {font-size:0.5em;}
sub {font-size:0.5em;}