Miscellaneous Explore tool improvements

crates/explorer/eslint.config.js

@@ -1,12 +1,17 @@
-import js from "@eslint/js";
+import globals from "globals";
+import pluginJs from "@eslint/js";
 
 export default [
-  js.configs.recommended,
-
   {
+    files: ["**/*.js"],
+    languageOptions: {
+      sourceType: "module",
+      globals: globals.browser,
+    },
     rules: {
       "no-unused-vars": "error",
       "no-undef": "error",
     },
   },
+  pluginJs.configs.recommended,
 ];

crates/explorer/package.json

@@ -22,6 +22,7 @@
   "devDependencies": {
     "@eslint/js": "^9.3.0",
     "eslint": "^9.3.0",
+    "globals": "^15.3.0",
     "prettier": "3.2.5"
   },
   "type": "module"

crates/explorer/src/index.css

@@ -14,6 +14,31 @@ body {
   height: 100%;
 }
 
+.highlight {
+  white-space: pre;
+  font-family: monospace;
+}
+.hovered {
+}
+.light-text {
+  color: #eeeeee;
+}
+.dark-text {
+  color: #101010;
+}
+
+#bridge {
+  position: absolute;
+  z-index: 100;
+  top: 0px;
+  bottom: 0px;
+  height: 100%;
+  width: 16px;
+  background-color: red;
+  clip-path: polygon(0px 0px, 0px 10px, 20px 100px, 100px 100px);
+  display: none;
+}
+
 #wat {
   width: 50%;
   height: 100%;