From f07fa567d0cadeec5fc91abe8bb05cd1e1414f1b Mon Sep 17 00:00:00 2001
From: Michael Pilosov <consistentbayes@gmail.com>
Date: Wed, 22 Apr 2026 11:14:16 -0600
Subject: [PATCH] anchor theme toggle to top-right of viewport

---
 app/web/static/style.css       | 7 +++++--
 app/web/templates/index.html   | 2 +-
 app/web/templates/metrics.html | 2 +-
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/app/web/static/style.css b/app/web/static/style.css
index 18ec18f..2f5f6cc 100644
--- a/app/web/static/style.css
+++ b/app/web/static/style.css
@@ -1079,14 +1079,17 @@ button.submit:disabled { background: var(--faint); border-color: var(--faint); c
 .masthead-link:hover { border-bottom-color: var(--accent); }
 
 .theme-toggle {
+  position: fixed;
+  top: 0.6rem;
+  right: 0.8rem;
+  z-index: 50;
   background: transparent;
   border: 0;
   color: var(--mute);
   font-size: 1.05rem;
   line-height: 1;
   cursor: pointer;
-  padding: 0 0 0 0.55rem;
-  vertical-align: middle;
+  padding: 0.25rem 0.35rem;
   transition: color 120ms ease, transform 240ms ease;
   user-select: none;
 }
diff --git a/app/web/templates/index.html b/app/web/templates/index.html
index cb539fc..ba78174 100644
--- a/app/web/templates/index.html
+++ b/app/web/templates/index.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width,initial-scale=1" />
   <title>embedding notebook</title>
-  <link rel="stylesheet" href="/static/style.css?v=14" />
+  <link rel="stylesheet" href="/static/style.css?v=15" />
   <script src="https://unpkg.com/htmx.org@2.0.4"></script>
   <script type="importmap">
   {
diff --git a/app/web/templates/metrics.html b/app/web/templates/metrics.html
index fdef6ec..21a7a51 100644
--- a/app/web/templates/metrics.html
+++ b/app/web/templates/metrics.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width,initial-scale=1" />
   <title>embedding notebook · metrics</title>
-  <link rel="stylesheet" href="/static/style.css?v=14" />
+  <link rel="stylesheet" href="/static/style.css?v=15" />
   <link rel="icon" href="data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Ccircle cx='8' cy='8' r='3' fill='%231f4e5f'/%3E%3C/svg%3E" />
   <script>
     (function(){try{