Add favicon to MuJoCo Live.

PiperOrigin-RevId: 956476524 Change-Id: I3f33cd09764e1236999b7d269045a2f8c2a8236e
2026-07-30 06:08:29 -07:00
parent 82471cbdfb
commit 60889f5e85
3 changed files with 2 additions and 0 deletions
@@ -35,6 +35,7 @@ jobs:
        cp src/experimental/studio/live.html dist/index.html
        cp src/experimental/studio/live.css dist/live.css
        cp src/experimental/studio/live.js dist/live.js
+        cp src/experimental/studio/favicon.ico dist/favicon.ico
        COMMIT_HASH=$(git rev-parse HEAD 2>/dev/null || true)
        if [ -n "$COMMIT_HASH" ]; then
          sed -i "s/__COMMIT_HASH_PLACEHOLDER__/$COMMIT_HASH/g" dist/index.html
@@ -6,6 +6,7 @@
    <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
    <link href="https://fonts.googleapis.com/css2?family=Atkinson+Hyperlegible+Next:wght@200..800&display=swap" rel="stylesheet">
    <link rel="stylesheet" href="live.css">
+    <link rel="icon" href="favicon.ico" sizes="16x16 32x32 48x48">
    <title>MuJoCo Live</title>
  </head>
  <body style="margin: 0; overflow: hidden">