11cb0ef41Sopenharmony_ci<!-- Copyright 2020 the V8 project authors. All rights reserved.
21cb0ef41Sopenharmony_ciUse of this source code is governed by a BSD-style license that can be
31cb0ef41Sopenharmony_cifound in the LICENSE file. -->
41cb0ef41Sopenharmony_ci
51cb0ef41Sopenharmony_ci<head>
61cb0ef41Sopenharmony_ci  <link href="./index.css" rel="stylesheet">
71cb0ef41Sopenharmony_ci</head>
81cb0ef41Sopenharmony_ci<style>
91cb0ef41Sopenharmony_ci  .scriptNode {
101cb0ef41Sopenharmony_ci    font-family: var(--code-font);
111cb0ef41Sopenharmony_ci  }
121cb0ef41Sopenharmony_ci
131cb0ef41Sopenharmony_ci  .scriptNode span {
141cb0ef41Sopenharmony_ci    counter-increment: sourceLineCounter 1;
151cb0ef41Sopenharmony_ci    text-indent: -3.5em;
161cb0ef41Sopenharmony_ci    padding-left: 3.5em;
171cb0ef41Sopenharmony_ci    display: block;
181cb0ef41Sopenharmony_ci  }
191cb0ef41Sopenharmony_ci
201cb0ef41Sopenharmony_ci  .scriptNode span::before {
211cb0ef41Sopenharmony_ci    content: counter(sourceLineCounter) ": ";
221cb0ef41Sopenharmony_ci    width: 3.5em;
231cb0ef41Sopenharmony_ci    display: inline-block;
241cb0ef41Sopenharmony_ci    white-space: pre;
251cb0ef41Sopenharmony_ci    text-align: right;
261cb0ef41Sopenharmony_ci  }
271cb0ef41Sopenharmony_ci
281cb0ef41Sopenharmony_ci  mark {
291cb0ef41Sopenharmony_ci    width: 1ch;
301cb0ef41Sopenharmony_ci    border-radius: 2px;
311cb0ef41Sopenharmony_ci    border: 0.5px var(--background-color) solid;
321cb0ef41Sopenharmony_ci    cursor: pointer;
331cb0ef41Sopenharmony_ci    background-color: var(--primary-color);
341cb0ef41Sopenharmony_ci    color: var(--on-primary-color);
351cb0ef41Sopenharmony_ci  }
361cb0ef41Sopenharmony_ci
371cb0ef41Sopenharmony_ci  .marked {
381cb0ef41Sopenharmony_ci    background-color: var(--secondary-color);
391cb0ef41Sopenharmony_ci    box-shadow: 0px 0px 2px 3px var(--secondary-color);
401cb0ef41Sopenharmony_ci    animation-name: pulse;
411cb0ef41Sopenharmony_ci    animation-duration: 3s;
421cb0ef41Sopenharmony_ci    animation-delay: 500ms;
431cb0ef41Sopenharmony_ci  }
441cb0ef41Sopenharmony_ci
451cb0ef41Sopenharmony_ci  @keyframes pulse {
461cb0ef41Sopenharmony_ci    0% {
471cb0ef41Sopenharmony_ci      box-shadow: 0px 0px 0px 3px var(--secondary-color);
481cb0ef41Sopenharmony_ci    }
491cb0ef41Sopenharmony_ci    5% {
501cb0ef41Sopenharmony_ci      box-shadow: 0px 0px 0px 10px var(--secondary-color);
511cb0ef41Sopenharmony_ci    }
521cb0ef41Sopenharmony_ci    10% {
531cb0ef41Sopenharmony_ci      box-shadow: 0px 0px 0px 0px var(--secondary-color);
541cb0ef41Sopenharmony_ci    }
551cb0ef41Sopenharmony_ci    15% {
561cb0ef41Sopenharmony_ci      box-shadow: 0px 0px 0px 10px var(--secondary-color);
571cb0ef41Sopenharmony_ci    }
581cb0ef41Sopenharmony_ci    20% {
591cb0ef41Sopenharmony_ci      box-shadow: 0px 0px 2px 3px var(--secondary-color);
601cb0ef41Sopenharmony_ci    }
611cb0ef41Sopenharmony_ci  }
621cb0ef41Sopenharmony_ci</style>
631cb0ef41Sopenharmony_ci<div class="panel">
641cb0ef41Sopenharmony_ci  <input type="checkbox" id="closer" class="panelCloserInput" checked>
651cb0ef41Sopenharmony_ci  <label class="panelCloserLabel" for="closer">▼</label>
661cb0ef41Sopenharmony_ci  <h2>Source Panel</h2>
671cb0ef41Sopenharmony_ci  <div class="selection">
681cb0ef41Sopenharmony_ci    <select id="script-dropdown"></select>
691cb0ef41Sopenharmony_ci    <button id="selectedRelatedButton">Select Related Events</button>
701cb0ef41Sopenharmony_ci  </div>
711cb0ef41Sopenharmony_ci  <div id="script" class="panelBody">
721cb0ef41Sopenharmony_ci    <div class="scriptNode"></div>
731cb0ef41Sopenharmony_ci  </div>
741cb0ef41Sopenharmony_ci</div>
75