Show totals to three decimals

index.html

@@ -221,7 +221,9 @@
   tr.tier2{opacity:.62}
   .rk{width:58px;color:var(--muted);font-weight:700;white-space:nowrap}
   .rk.top{color:var(--accent);font-size:15px}
+  .tot{font-variant-numeric:tabular-nums}
   .rk .rkscore{display:block;margin-top:2px;font-size:10.5px;font-weight:800;
+               font-variant-numeric:tabular-nums;
                color:var(--ink);letter-spacing:0}
   .cid{font-family:ui-monospace,Menlo,Consolas,monospace;font-size:12.5px;font-weight:600}
   .skel{color:#93a1b5;font-size:11px;font-family:ui-monospace,monospace}
@@ -684,6 +686,9 @@ let DATA = null, sortKey = "total", sortDir = -1;
 
 const $ = s => document.querySelector(s);
 const f1 = v => (v==null||v==="") ? "–" : (+v).toFixed(1);
+// totals carry three decimals; the per-axis columns stay at one, where the extra digits
+// would be width without information
+const f3 = v => (v==null||v==="") ? "–" : (+v).toFixed(3);
 const t = () => T[LANG];
 const submittedDate = e => {
   if(e.is_anchor || !e.submitted_at) return "–";
@@ -798,13 +803,13 @@ function render(){
     const tag = e.is_anchor ? `<span class="tag a">${d.anchor}</span>`
               : (e.tier===2 ? `<span class="tag r">${d.relegated}</span>` : "");
     const rk = e.rank==null ? "—"
-      : `#${e.rank}<span class="rkscore">${f1(e.total)}${LANG==="ko"?"점":" pts"}</span>`;
+      : `#${e.rank}<span class="rkscore">${f3(e.total)}${LANG==="ko"?"점":" pts"}</span>`;
     return `<tr class="${cls}">
       <td class="rk ${e.rank===1?"top":""}">${rk}</td>
       <td>${id}${tag}</td><td>${user}</td><td>${who}</td><td>${submittedDate(e)}</td>
       ${AX.map(k=>`<td>${f1(a[k])}</td>`).join("")}
       <td><div class="barwrap"><span class="bar"><i style="width:${Math.max(2,(e.total||0)/max*100)}%"></i></span>
-        <span class="tot">${f1(e.total)}</span></div></td></tr>`;
+        <span class="tot">${f3(e.total)}</span></div></td></tr>`;
   }).join("") : `<tr><td colspan="12" class="who">${d.empty}</td></tr>`;
 
   wireCopy($("#rows"));