/* Annotate formating */

span.annotation { background:#ffd; }
span.annotation span.annotation { background:#eeb; }
span.annotation span.annotation  span.annotation { background:#dd9; }

span.annohover { color:#b00; }
span.annohover span.annohover { color:#b00; }
span.annohover span.annohover span.annohover { color:#b00; }

div.annohover { color:#b00; }
div.annohover div.annohover { color:#b00; }
div.annohover div.annohover div.annohover { color:#b00; }