/* style sheet to show the various parts of an edit-annotation */
/* NB this is the first try: later we tried putting anchors and
   replacements in separate CSS files
   */

/*  ANCHORS */
  SPAN.ar {color: green; background: white;
     text-decoration: line-through} /* anchor for replacement */
  SPAN.ad {color: #00FFFF /* blue-green = rgb(0,255,255) */; background: white;
    text-decoration: line-through} /* anchor for deletion */

  /* WAS: SPAN.ai {color: yellow; background: white} anchor for insertion
     (after) */

  SPAN.i:before {content: "^"}  /* pseudo anchor for insertion */

/* REPLACEMENTS */
  SPAN.r {color: red; background: white} /* replacement */
  SPAN.i {color: yellow; background: white} /* insertion */
  SPAN.m {color: blue; background: white; font-size: 50%;
     font-family: Helvetica } /* meta-data */
  SPAN.m:before {content: "[[ "; }
  SPAN.m:after {content: " ]]"; }
    /* does not work on my browser */