src/widgets/Highlighter.css
changeset 1033 c20df1c080e6
equal deleted inserted replaced
1032:74ac0be7655c 1033:c20df1c080e6
       
     1 .currentAnnotation  {
       
     2     border: solid 3px red;
       
     3 }