--- a/src/widgets/Highlighter.css	Sun Nov 12 22:07:33 2017 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-.currentAnnotation  {
-    border: solid 3px red;
-}