src/third_party/v8/tools/system-analyzer/source-panel-template.html - cobalt - Git at Google

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