Wrapping leaf nodes in non polymer elements

runtime/observatory/lib/src/elements/instructions_view.html

Index: runtime/observatory/lib/src/elements/instructions_view.html
diff --git a/runtime/observatory/lib/src/elements/instructions_view.html b/runtime/observatory/lib/src/elements/instructions_view.html
index feb108cffdc84cce65ba489fc1b0b8842aad11dc..bbe8f0a3b252b0b44e03822fa1aaef5b87feaa9f 100644
--- a/runtime/observatory/lib/src/elements/instructions_view.html
+++ b/runtime/observatory/lib/src/elements/instructions_view.html
@@ -7,7 +7,6 @@
 <link rel="import" href="instance_ref.html">
 <link rel="import" href="observatory_element.html">
 <link rel="import" href="object_common.html">
-<link rel="import" href="nav_bar.html">
 <link rel="import" href="eval_link.html">
 
 <polymer-element name="instructions-view" extends="observatory-element">
@@ -19,6 +18,7 @@
       <isolate-nav-menu isolate="{{ instructions.isolate }}"></isolate-nav-menu>
       <nav-menu link="." anchor="object" last="{{ true }}"></nav-menu>
       <nav-refresh callback="{{ refresh }}"></nav-refresh>
+      <nav-notify notifications="{{ app.notifications }}"></nav-notify>
     </nav-bar>
 
     <div class="content">
@@ -42,7 +42,7 @@
       </div>
 
     </div>
-  
+
     <hr>
     <view-footer></view-footer>
   </template>