Update saved_resource.html

rdi-berkeley · May 22, 2024 · 4ee1014 · 4ee1014
1 parent 81c95ec
commit 4ee1014
Showing 1 changed file with 15 additions and 3 deletions.
diff --git a/zkp-workshop-2022/index_files/saved_resource.html b/zkp-workshop-2022/index_files/saved_resource.html
@@ -1,3 +1,15 @@
-
-<!-- saved from url=(0011)about:blank -->
-<html class="SandboxRoot"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><style type="text/css">.SandboxRoot { display: none; }</style><!--<base target="_blank">--><base href="." target="_blank"></head><body data-new-gr-c-s-check-loaded="14.1084.0" data-gr-ext-installed=""></body><grammarly-desktop-integration data-grammarly-shadow-root="true"></grammarly-desktop-integration></html>
+<!DOCTYPE html>
+<html class="SandboxRoot">
+<head>
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+    <title>Saved Resource</title>
+    <style type="text/css">
+        .SandboxRoot { display: none; }
+    </style>
+    <!--<base target="_blank">-->
+    <base href="." target="_blank">
+</head>
+<body data-new-gr-c-s-check-loaded="14.1084.0" data-gr-ext-installed="">
+</body>
+<grammarly-desktop-integration data-grammarly-shadow-root="true"></grammarly-desktop-integration>
+</html>