Restore highlighting for current position.

runtime/observatory/lib/src/elements/script_inset.dart

Index: runtime/observatory/lib/src/elements/script_inset.dart
diff --git a/runtime/observatory/lib/src/elements/script_inset.dart b/runtime/observatory/lib/src/elements/script_inset.dart
index 124697464f8cf859ccc140afdeadbdadb1f896b6..cc4787a665eb6897fa9b5eca5f7ae0d5ce2159d0 100644
--- a/runtime/observatory/lib/src/elements/script_inset.dart
+++ b/runtime/observatory/lib/src/elements/script_inset.dart
@@ -19,8 +19,7 @@ class Annotation {
   String title;
 
   void applyStyleTo(element) {
-    element.style.color = "blue";
-    element.style.textDecoration = "underline";
+    element.classes.add("currentCol");
     element.title = title;
   }
 }
@@ -243,7 +242,7 @@ class ScriptInsetElement extends ObservatoryElement {
 
     if (line != null) {
       if (line.line == currentLine) {
-        e.classes.add("sourceItemCurrent");
+        e.classes.add("currentLine");
       }
 
       e.id = makeLineId(line.line);