Wrapping leaf nodes in non polymer elements

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

Index: runtime/observatory/lib/src/elements/ports.html
diff --git a/runtime/observatory/lib/src/elements/ports.html b/runtime/observatory/lib/src/elements/ports.html
index d5b3152cbc2755de40811dd94861ed4dfb767bd2..fac9da8fbec90dcc95519f2697e58e2bb3575c3d 100644
--- a/runtime/observatory/lib/src/elements/ports.html
+++ b/runtime/observatory/lib/src/elements/ports.html
@@ -1,5 +1,4 @@
 <link rel="import" href="../../../../packages/polymer/polymer.html">
-<link rel="import" href="nav_bar.html">
 <link rel="import" href="observatory_element.html">
 
 <polymer-element name="ports-page" extends="observatory-element">
@@ -20,8 +19,10 @@
       <top-nav-menu></top-nav-menu>
       <vm-nav-menu vm="{{ isolate.vm }}"></vm-nav-menu>
       <isolate-nav-menu isolate="{{ isolate }}"></isolate-nav-menu>
-      <nav-menu link="{{ makeLink('/ports', isolate) }}" anchor="ports" last="{{ true }}"></nav-menu>
+      <nav-menu link="{{ makeLink('/ports', isolate) }}" anchor="ports"
+                                                last="{{ true }}"></nav-menu>
       <nav-refresh callback="{{ refresh }}"></nav-refresh>
+      <nav-notify notifications="{{ app.notifications }}"></nav-notify>
     </nav-bar>
     <div class="content">
       <h1>Ports ({{ports.length}})</h1>