| <!-- Copyright 2020 the V8 project authors. All rights reserved. |
| Use of this source code is governed by a BSD-style license that can be |
| found in the LICENSE file. --> |
| |
| <head> |
| <link href="./index.css" rel="stylesheet"> |
| </head> |
| <style> |
| pre.scriptNode { |
| white-space: pre-wrap; |
| } |
| |
| pre.scriptNode:before { |
| counter-reset: sourceLineCounter; |
| } |
| |
| pre.scriptNode span { |
| counter-increment: sourceLineCounter; |
| } |
| |
| pre.scriptNode span::before { |
| content: counter(sourceLineCounter) ": "; |
| display: inline-block; |
| width: 4em; |
| padding-left: auto; |
| margin-left: auto; |
| text-align: right; |
| } |
| |
| mark { |
| width: 1ch; |
| border-radius: 2px; |
| border: 0.5px var(--background-color) solid; |
| cursor: pointer; |
| background-color: var(--primary-color); |
| color: var(--on-primary-color); |
| } |
| |
| .marked { |
| background-color: var(--secondary-color); |
| } |
| |
| #script-dropdown { |
| width: 100%; |
| margin-bottom: 10px; |
| } |
| </style> |
| <div class="panel"> |
| <h2>Source Panel</h2> |
| <select id="script-dropdown"></select> |
| <div id="script" class="panelBody"> |
| <pre class="scripNode"></pre> |
| </div> |
| </div> |
