1<!-- Copyright 2020 the V8 project authors. All rights reserved.
2Use of this source code is governed by a BSD-style license that can be
3found in the LICENSE file. -->
4
5<head>
6  <link href="./index.css" rel="stylesheet">
7</head>
8<style>
9  .scriptNode {
10    font-family: var(--code-font);
11  }
12
13  .scriptNode span {
14    counter-increment: sourceLineCounter 1;
15    text-indent: -3.5em;
16    padding-left: 3.5em;
17    display: block;
18  }
19
20  .scriptNode span::before {
21    content: counter(sourceLineCounter) ": ";
22    width: 3.5em;
23    display: inline-block;
24    white-space: pre;
25    text-align: right;
26  }
27
28  mark {
29    width: 1ch;
30    border-radius: 2px;
31    border: 0.5px var(--background-color) solid;
32    cursor: pointer;
33    background-color: var(--primary-color);
34    color: var(--on-primary-color);
35  }
36
37  .marked {
38    background-color: var(--secondary-color);
39    box-shadow: 0px 0px 2px 3px var(--secondary-color);
40    animation-name: pulse;
41    animation-duration: 3s;
42    animation-delay: 500ms;
43  }
44
45  @keyframes pulse {
46    0% {
47      box-shadow: 0px 0px 0px 3px var(--secondary-color);
48    }
49    5% {
50      box-shadow: 0px 0px 0px 10px var(--secondary-color);
51    }
52    10% {
53      box-shadow: 0px 0px 0px 0px var(--secondary-color);
54    }
55    15% {
56      box-shadow: 0px 0px 0px 10px var(--secondary-color);
57    }
58    20% {
59      box-shadow: 0px 0px 2px 3px var(--secondary-color);
60    }
61  }
62</style>
63<div class="panel">
64  <input type="checkbox" id="closer" class="panelCloserInput" checked>
65  <label class="panelCloserLabel" for="closer">▼</label>
66  <h2>Source Panel</h2>
67  <div class="selection">
68    <select id="script-dropdown"></select>
69    <button id="selectedRelatedButton">Select Related Events</button>
70  </div>
71  <div id="script" class="panelBody">
72    <div class="scriptNode"></div>
73  </div>
74</div>
75