diff --git a/tools/turbolizer/index.html b/tools/turbolizer/index.html
index f970a6df04..01f2328bb2 100644
--- a/tools/turbolizer/index.html
+++ b/tools/turbolizer/index.html
@@ -9,7 +9,6 @@ code is governed by a BSD-style license that can be found in the LICENSE file.
   <title>V8 Turbolizer</title>
   <link rel="stylesheet" href="turbo-visualizer.css">
   <link rel="stylesheet" href="tabs.css">
-  <link rel="stylesheet" href="prettify.css">
   <link rel="icon" type="image/png" href="turbolizer.png">
 </head>
 
@@ -40,7 +39,7 @@ code is governed by a BSD-style license that can be found in the LICENSE file.
       </text>
     </svg>
   </div>
-  <script src="https://cdn.rawgit.com/google/code-prettify/master/loader/run_prettify.js"></script>
+  <script src="https://cdn.jsdelivr.net/gh/google/code-prettify@master/loader/run_prettify.js"></script>
   <script src="build/turbolizer.js"></script>
 </body>
 </html>
diff --git a/tools/turbolizer/src/code-view.ts b/tools/turbolizer/src/code-view.ts
index 298f08b01d..ab0af14e06 100644
--- a/tools/turbolizer/src/code-view.ts
+++ b/tools/turbolizer/src/code-view.ts
@@ -2,6 +2,14 @@
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
+interface PR {
+  prettyPrint(_: unknown, el: HTMLElement): void;
+}
+
+declare global {
+  const PR: PR;
+}
+
 import { Source, SourceResolver, sourcePositionToStringKey } from "../src/source-resolver";
 import { SelectionBroker } from "../src/selection-broker";
 import { View } from "../src/view";