src/widgets/Highlighter.css
author durandn
Mon, 21 Sep 2015 18:25:06 +0200
changeset 1060 3a4f2217a04f
parent 1033 c20df1c080e6
permissions -rw-r--r--
Added an edit button to make edit functionality easier to read

.currentAnnotation  {
    border: solid 3px red;
}