From 1be5e840af5abd6e216838adad91ffcb18857987 Mon Sep 17 00:00:00 2001
From: human insan <insan@human.org>
Date: Thu, 27 Aug 2026 23:27:48 +0100
Subject: [PATCH] Show one archive time in player

---
 index.html | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/index.html b/index.html
index 6aadd50..8c1b3a2 100644
--- a/index.html
+++ b/index.html
@@ -137,9 +137,8 @@
           </button>
           <input id="volume" type="range" min="0" max="1" step=".01" value=".8">
         </div>
-        <span class="time-label"><span id="time-cur">--:--:--</span> / <span id="time-dur">0:00</span></span>
+        <span class="time-label" id="time-cur" style="color:var(--accent);font-weight:500;">--:--:--</span>
         <span class="spacer"></span>
-        <span class="time-label" id="clock" style="color:var(--accent);font-weight:500;">--:--:--</span>
       </div>
     </div>
   </div>
@@ -295,7 +294,7 @@
     const gap = gaps.find(item => item.start > now + 1) || gaps[0];
     if (gap) {
       video.pause(); activeClip = null; focus = gap.start;
-      document.querySelector("#clock").textContent = timeOfDay(gap.start);
+      document.querySelector("#time-cur").textContent = timeOfDay(gap.start);
       drawTimeline();
     }
   }
@@ -474,9 +473,7 @@
     clips = d.recordings;
     dateSelect.innerHTML = d.dates.map(day => `<option value="${day}">${day.slice(0,4)}-${day.slice(4,6)}-${day.slice(6)}</option>`).join("");
     dateSelect.value = date || d.dates[0];
-    document.querySelector("#clock").textContent = "--:--:--";
     document.querySelector("#time-cur").textContent = "--:--:--";
-    document.querySelector("#time-dur").textContent = "0:00";
     drawTimeline();
     loadHighlights();
     loadSystemHighlights();
@@ -486,7 +483,6 @@
   function playClip(clip, offset = 0) {
     activeClip = clip;
     initialOffset = offset;
-    document.querySelector("#clock").textContent = timeOfDay(clip.start + offset);
     document.querySelector("#time-cur").textContent = timeOfDay(clip.start + offset);
     video.src = `/video?date=${dateSelect.value}&name=${encodeURIComponent(clip.name)}&offset=${offset.toFixed(3)}`;
     video.play().catch(() => {});
@@ -495,12 +491,10 @@
 
   video.addEventListener("timeupdate", () => {
     if (!activeClip) return;
-    document.querySelector("#clock").textContent = timeOfDay(activeClip.start + initialOffset + video.currentTime);
     document.querySelector("#time-cur").textContent = timeOfDay(activeClip.start + initialOffset + video.currentTime);
     drawTimeline();
   });
   video.addEventListener("loadedmetadata", () => {
-    document.querySelector("#time-dur").textContent = fmt(video.duration);
     if (initialOffset > 0 && video.currentTime < initialOffset) video.currentTime = initialOffset;
   });
   video.addEventListener("ended", () => {