Wrapping leaf nodes in non polymer elements

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

Index: runtime/observatory/lib/src/elements/objectpool_view.html
diff --git a/runtime/observatory/lib/src/elements/objectpool_view.html b/runtime/observatory/lib/src/elements/objectpool_view.html
index 4177eeabfe714116d068d0425484ec1767e11414..ce008f9f713a10e05b0c3bd998ddc6d715fd995d 100644
--- a/runtime/observatory/lib/src/elements/objectpool_view.html
+++ b/runtime/observatory/lib/src/elements/objectpool_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="objectpool-view" extends="observatory-element">
@@ -19,6 +18,7 @@
       <isolate-nav-menu isolate="{{ pool.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">
@@ -48,7 +48,7 @@
       </div>
 
     </div>
-  
+
     <hr>
     <view-footer></view-footer>
   </template>