| <!-- 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> |