| OLD | NEW |
| 1 <head> | 1 <head> |
| 2 <link rel="import" href="observatory_element.html"> | 2 <link rel="import" href="observatory_element.html"> |
| 3 </head> | 3 </head> |
| 4 | 4 |
| 5 <polymer-element name="nav-bar" extends="observatory-element"> | 5 <polymer-element name="nav-bar" extends="observatory-element"> |
| 6 <template> | 6 <template> |
| 7 <style> | 7 <style> |
| 8 nav ul { | 8 nav ul { |
| 9 display: inline-table; | 9 display: inline-table; |
| 10 position: relative; | 10 position: relative; |
| (...skipping 106 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 117 <ul><content></content></ul> | 117 <ul><content></content></ul> |
| 118 </li> | 118 </li> |
| 119 </template> | 119 </template> |
| 120 </polymer-element> | 120 </polymer-element> |
| 121 | 121 |
| 122 <polymer-element name="nav-refresh" extends="observatory-element"> | 122 <polymer-element name="nav-refresh" extends="observatory-element"> |
| 123 <template> | 123 <template> |
| 124 <style> | 124 <style> |
| 125 .active { | 125 .active { |
| 126 color: #aaa; | 126 color: #aaa; |
| 127 cursor: wait; |
| 127 } | 128 } |
| 128 .idle { | 129 .idle { |
| 129 color: #000; | 130 color: #000; |
| 130 } | 131 } |
| 131 li { | 132 li { |
| 132 float: right; | 133 float: right; |
| 133 margin: 0; | 134 margin: 0; |
| 134 } | 135 } |
| 135 li button { | 136 li button { |
| 136 margin: 3px; | 137 margin: 3px; |
| (...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 184 <polymer-element name="class-nav-menu" extends="observatory-element"> | 185 <polymer-element name="class-nav-menu" extends="observatory-element"> |
| 185 <template> | 186 <template> |
| 186 <nav-menu link="{{ app.locationManager.currentIsolateRelativeLink(cls['id'])
}}" | 187 <nav-menu link="{{ app.locationManager.currentIsolateRelativeLink(cls['id'])
}}" |
| 187 anchor="{{ cls['user_name'] }}" last="{{ last }}"> | 188 anchor="{{ cls['user_name'] }}" last="{{ last }}"> |
| 188 <content></content> | 189 <content></content> |
| 189 </nav-menu> | 190 </nav-menu> |
| 190 </template> | 191 </template> |
| 191 </polymer-element> | 192 </polymer-element> |
| 192 | 193 |
| 193 <script type="application/dart" src="nav_bar.dart"></script> | 194 <script type="application/dart" src="nav_bar.dart"></script> |
| OLD | NEW |