diff -r 74ac0be7655c -r c20df1c080e6 src/widgets/Highlighter.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/widgets/Highlighter.css	Fri Feb 13 16:57:53 2015 +0100
@@ -0,0 +1,3 @@
+.currentAnnotation  {
+    border: solid 3px red;
+}