equal
deleted
inserted
replaced
77 </div> |
77 </div> |
78 </div> |
78 </div> |
79 </div> |
79 </div> |
80 <div id="preview-ui-bottom"> |
80 <div id="preview-ui-bottom"> |
81 <div id="preview-ui-bottom-header"> |
81 <div id="preview-ui-bottom-header"> |
82 <div>Simulation Controls</div> |
82 <div><span style="float: left">Simulation Controls</span> |
|
83 <span id="Console-Notification" title="Open application console" class="hide"> </span></div> |
83 <span class="open" id="Console-Toggle-Button"></span> |
84 <span class="open" id="Console-Toggle-Button"></span> |
84 </div> |
85 </div> |
85 <div id="tabs" class="tabs-bottom"> |
86 <div id="tabs" class="tabs-bottom"> |
86 <ul id="tabs-header"> |
87 <ul id="tabs-header"> |
87 <li><a href="#console">Console</a></li> |
88 <li><a href="#console">Console</a></li> |