From d1faf3fcd0eb094fb21bd15aef160593b5ccb6e4 Mon Sep 17 00:00:00 2001
From: strtgbb <146047128+strtgbb@users.noreply.github.com>
Date: Fri, 1 May 2026 14:43:06 -0400
Subject: [PATCH 1/2] Fixes for play page controls

Co-authored-by: Cursor <cursoragent@cursor.com>
---
 programs/server/play.html | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/programs/server/play.html b/programs/server/play.html
index 4c9427ef2445..4e06062d1b2e 100644
--- a/programs/server/play.html
+++ b/programs/server/play.html
@@ -53,6 +53,7 @@
             --border-color: #CCC;
             --shadow-color: rgba(0, 0, 0, 0.1);
             --button-color: var(--altinity-accent);
+            --button-text-color: #000;
             --text-color: #000;
             --text-color-active: #000;
             --button-active-color: var(--altinity-accent);
@@ -435,6 +436,7 @@
             padding: 0.25rem 0.65rem;
             cursor: pointer;
             position: relative;
+            font-size: 100%;
         }
 
         .copy-balloon
@@ -477,6 +479,7 @@
             padding: 0.25rem 0.65rem;
             cursor: pointer;
             position: relative;
+            font-size: 100%;
         }
 
         #download
@@ -692,19 +695,19 @@
                 <button type="submit" class="shadow" id="run">Run</button>
                 <div id="hint">&nbsp;(Ctrl/Cmd+Enter)</div>
                 <query-progress id="query-progress"></query-progress>
-                <div id="copy-div" class="shadow" title="Copy raw result to clipboard">
+                <button type="button" id="copy-div" class="shadow" title="Copy raw result to clipboard" aria-label="Copy raw result to clipboard">
                     <svg id="copy-icon" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round">
                         <rect x="9" y="9" width="13" height="13" rx="2" ry="2"/>
                         <path d="M5 15H4a2 2 0 0 1-2-2V4a2 2 0 0 1 2-2h9a2 2 0 0 1 2 2v1"/>
                     </svg>
-                </div>
-                <div id="download-div" class="shadow">
+                </button>
+                <button type="button" id="download-div" class="shadow" title="Download query result" aria-label="Download query result">
                     <svg id="download" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round">
                         <path d="M21 15v4a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2v-4"/>
                         <polyline points="7 10 12 15 17 10"/>
                         <line x1="12" y1="15" x2="12" y2="3"/>
                     </svg>
-                </div>
+                </button>
                 <div id="theme"><span id="toggle-dark">🌘</span><span id="toggle-light">☀️</span></div>
             </div>
         </form>
@@ -2554,7 +2557,8 @@
 
 // Favicon changes to gray while a query is running, to indicate progress on the browser tab.
 const favicon_default = document.querySelector('link[rel="icon"]').href;
-const favicon_running = 'data:image/svg+xml;base64,' + btoa(atob(favicon_default.split(',')[1]).replace('#ff0', '#bbb'));
+const favicon_svg = atob(favicon_default.split(',')[1]);
+const favicon_running = 'data:image/svg+xml;base64,' + btoa(favicon_svg.replace(/#(?:ff0|199DCF)/i, '#bbb'));
 
 function setFavicon(href) { document.querySelector('link[rel="icon"]').href = href; }
 

From 65fa32ae1e2eaaf25c996941faf8dbdc0c09c1dd Mon Sep 17 00:00:00 2001
From: strtgbb <146047128+strtgbb@users.noreply.github.com>
Date: Mon, 4 May 2026 13:04:12 -0400
Subject: [PATCH 2/2] fix logo clipping in play.html

---
 programs/server/play.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/programs/server/play.html b/programs/server/play.html
index 4e06062d1b2e..296509546917 100644
--- a/programs/server/play.html
+++ b/programs/server/play.html
@@ -611,6 +611,7 @@
         }
         #logo text
         {
+            font-size: 14px;
             fill: var(--logo-color);
         }