src/widgets/Highlighter.css
author durandn
Fri, 18 Sep 2015 14:40:25 +0200
changeset 1050 0b287ecbc2cb
parent 1033 c20df1c080e6
permissions -rw-r--r--
Added support for custom button texts

.currentAnnotation  {
    border: solid 3px red;
}